<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.3"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>SSDP Help: D:/doxy/PublicAPI/ATEC/atstd/bc___rb_tree_cc.h 源文件</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../jquery.js"></script>
<script type="text/javascript" src="../../dynsections.js"></script>
<link href="../../doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr id="projectrow">
  <td id="projectalign">
   <div id="projectname">SSDP Help<span id="projectnumber">&#160;2.04.01</span>
   </div>
   <div id="projectbrief">仅供测试</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- 制作者 Doxygen 1.9.3 -->
<script type="text/javascript" src="../../menudata.js"></script>
<script type="text/javascript" src="../../menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(function() {
  initMenu('../../',false,false,'search.php','搜索');
});
/* @license-end */
</script>
<div id="main-nav"></div>
<div id="nav-path" class="navpath">
  <ul>
<li class="navelem"><a class="el" href="../../dir_52a01df1794e5beec01860bdd05aea48.html">PublicAPI</a></li><li class="navelem"><a class="el" href="../../dir_61153f54a0892efe919342a84eb61844.html">ATEC</a></li><li class="navelem"><a class="el" href="../../dir_11e5a7616ba6bb5a862d03f24cf79fa9.html">atstd</a></li>  </ul>
</div>
</div><!-- top -->
<div class="header">
  <div class="headertitle"><div class="title">bc___rb_tree_cc.h</div></div>
</div><!--header-->
<div class="contents">
<div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno">    1</span><span class="comment">/*--------------------------------------------------------------------------------------+</span></div>
<div class="line"><a id="l00002" name="l00002"></a><span class="lineno">    2</span><span class="comment">|</span></div>
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno">    3</span><span class="comment">|     $Source: PublicAPI/ATEC/stdcxx/rw/bc___rb_tree_cc.h $</span></div>
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno">    4</span><span class="comment">|</span></div>
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno">    5</span><span class="comment">|  $Copyright: (c) 2019 SZEWEC Systems, Incorporated. All rights reserved. $</span></div>
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno">    6</span><span class="comment">|</span></div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno">    7</span><span class="comment">+--------------------------------------------------------------------------------------*/</span></div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno">    8</span><span class="preprocessor">#pragma once</span></div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno">    9</span><span class="comment">//__PUBLISH_SECTION_START__</span></div>
<div class="line"><a id="l00011" name="l00011"></a><span class="lineno">   11</span><span class="comment"></span> </div>
<div class="line"><a id="l00012" name="l00012"></a><span class="lineno">   12</span><span class="comment">/***************************************************************************</span></div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno">   13</span><span class="comment"> *</span></div>
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno">   14</span><span class="comment"> * _tree.cc - Non-inline tree definitions for the Standard Library</span></div>
<div class="line"><a id="l00015" name="l00015"></a><span class="lineno">   15</span><span class="comment"> *</span></div>
<div class="line"><a id="l00016" name="l00016"></a><span class="lineno">   16</span><span class="comment"> * $Id: _tree.cc 681820 2008-08-01 20:51:17Z vitek $</span></div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno">   17</span><span class="comment"> *</span></div>
<div class="line"><a id="l00018" name="l00018"></a><span class="lineno">   18</span><span class="comment"> ***************************************************************************</span></div>
<div class="line"><a id="l00019" name="l00019"></a><span class="lineno">   19</span><span class="comment"> *</span></div>
<div class="line"><a id="l00020" name="l00020"></a><span class="lineno">   20</span><span class="comment"> * Copyright (c) 1994</span></div>
<div class="line"><a id="l00021" name="l00021"></a><span class="lineno">   21</span><span class="comment"> * Hewlett-Packard Company</span></div>
<div class="line"><a id="l00022" name="l00022"></a><span class="lineno">   22</span><span class="comment"> *</span></div>
<div class="line"><a id="l00023" name="l00023"></a><span class="lineno">   23</span><span class="comment"> * Permission to use, copy, modify, distribute and sell this software</span></div>
<div class="line"><a id="l00024" name="l00024"></a><span class="lineno">   24</span><span class="comment"> * and its documentation for any purpose is hereby granted without fee,</span></div>
<div class="line"><a id="l00025" name="l00025"></a><span class="lineno">   25</span><span class="comment"> * provided that the above copyright notice appear in all copies and</span></div>
<div class="line"><a id="l00026" name="l00026"></a><span class="lineno">   26</span><span class="comment"> * that both that copyright notice and this permission notice appear</span></div>
<div class="line"><a id="l00027" name="l00027"></a><span class="lineno">   27</span><span class="comment"> * in supporting documentation.  Hewlett-Packard Company makes no</span></div>
<div class="line"><a id="l00028" name="l00028"></a><span class="lineno">   28</span><span class="comment"> * representations about the suitability of this software for any</span></div>
<div class="line"><a id="l00029" name="l00029"></a><span class="lineno">   29</span><span class="comment"> * purpose.  It is provided &quot;as is&quot; without express or implied warranty.</span></div>
<div class="line"><a id="l00030" name="l00030"></a><span class="lineno">   30</span><span class="comment"> *</span></div>
<div class="line"><a id="l00031" name="l00031"></a><span class="lineno">   31</span><span class="comment"> ***************************************************************************</span></div>
<div class="line"><a id="l00032" name="l00032"></a><span class="lineno">   32</span><span class="comment"> *</span></div>
<div class="line"><a id="l00033" name="l00033"></a><span class="lineno">   33</span><span class="comment"> * Licensed to the Apache Software  Foundation (ASF) under one or more</span></div>
<div class="line"><a id="l00034" name="l00034"></a><span class="lineno">   34</span><span class="comment"> * contributor  license agreements.  See  the NOTICE  file distributed</span></div>
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno">   35</span><span class="comment"> * with  this  work  for  additional information  regarding  copyright</span></div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno">   36</span><span class="comment"> * ownership.   The ASF  licenses this  file to  you under  the Apache</span></div>
<div class="line"><a id="l00037" name="l00037"></a><span class="lineno">   37</span><span class="comment"> * License, Version  2.0 (the  &quot;License&quot;); you may  not use  this file</span></div>
<div class="line"><a id="l00038" name="l00038"></a><span class="lineno">   38</span><span class="comment"> * except in  compliance with the License.   You may obtain  a copy of</span></div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno">   39</span><span class="comment"> * the License at</span></div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno">   40</span><span class="comment"> *</span></div>
<div class="line"><a id="l00041" name="l00041"></a><span class="lineno">   41</span><span class="comment"> * http://www.apache.org/licenses/LICENSE-2.0</span></div>
<div class="line"><a id="l00042" name="l00042"></a><span class="lineno">   42</span><span class="comment"> *</span></div>
<div class="line"><a id="l00043" name="l00043"></a><span class="lineno">   43</span><span class="comment"> * Unless required by applicable law or agreed to in writing, software</span></div>
<div class="line"><a id="l00044" name="l00044"></a><span class="lineno">   44</span><span class="comment"> * distributed under the  License is distributed on an  &quot;AS IS&quot; BASIS,</span></div>
<div class="line"><a id="l00045" name="l00045"></a><span class="lineno">   45</span><span class="comment"> * WITHOUT  WARRANTIES OR CONDITIONS  OF ANY  KIND, either  express or</span></div>
<div class="line"><a id="l00046" name="l00046"></a><span class="lineno">   46</span><span class="comment"> * implied.   See  the License  for  the  specific language  governing</span></div>
<div class="line"><a id="l00047" name="l00047"></a><span class="lineno">   47</span><span class="comment"> * permissions and limitations under the License.</span></div>
<div class="line"><a id="l00048" name="l00048"></a><span class="lineno">   48</span><span class="comment"> *</span></div>
<div class="line"><a id="l00049" name="l00049"></a><span class="lineno">   49</span><span class="comment"> * Copyright 1994-2006 Rogue Wave Software.</span></div>
<div class="line"><a id="l00050" name="l00050"></a><span class="lineno">   50</span><span class="comment"> * </span></div>
<div class="line"><a id="l00051" name="l00051"></a><span class="lineno">   51</span><span class="comment"> **************************************************************************</span></div>
<div class="line"><a id="l00052" name="l00052"></a><span class="lineno">   52</span><span class="comment"> *</span></div>
<div class="line"><a id="l00053" name="l00053"></a><span class="lineno">   53</span><span class="comment"> * NOTICE: This File contains modifications made by ATEC Systems Inc. where designated.</span></div>
<div class="line"><a id="l00054" name="l00054"></a><span class="lineno">   54</span><span class="comment"> *</span></div>
<div class="line"><a id="l00055" name="l00055"></a><span class="lineno">   55</span><span class="comment"> *************************************************************************/</span></div>
<div class="line"><a id="l00056" name="l00056"></a><span class="lineno">   56</span> </div>
<div class="line"><a id="l00057" name="l00057"></a><span class="lineno">   57</span>BC__RWSTD_NAMESPACE (BC__RW) { </div>
<div class="line"><a id="l00058" name="l00058"></a><span class="lineno">   58</span> </div>
<div class="line"><a id="l00059" name="l00059"></a><span class="lineno">   59</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00060" name="l00060"></a><span class="lineno">   60</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00061" name="l00061"></a><span class="lineno">   61</span>bc___rb_tree (<span class="keyword">const</span> key_compare    &amp;__cmp <span class="comment">/* = key_compare () */</span>,</div>
<div class="line"><a id="l00062" name="l00062"></a><span class="lineno">   62</span>           <span class="keyword">const</span> allocator_type &amp;__alloc <span class="comment">/* = allocator_type () */</span>) </div>
<div class="line"><a id="l00063" name="l00063"></a><span class="lineno">   63</span>    : allocator_type (__alloc),</div>
<div class="line"><a id="l00064" name="l00064"></a><span class="lineno">   64</span>    _C_buf_list (0),</div>
<div class="line"><a id="l00065" name="l00065"></a><span class="lineno">   65</span>    _C_end (0),</div>
<div class="line"><a id="l00066" name="l00066"></a><span class="lineno">   66</span>    _C_size (0),</div>
<div class="line"><a id="l00067" name="l00067"></a><span class="lineno">   67</span>    _C_cmp (__cmp)</div>
<div class="line"><a id="l00068" name="l00068"></a><span class="lineno">   68</span>{</div>
<div class="line"><a id="l00069" name="l00069"></a><span class="lineno">   69</span>    _C_init ();</div>
<div class="line"><a id="l00070" name="l00070"></a><span class="lineno">   70</span>}</div>
<div class="line"><a id="l00071" name="l00071"></a><span class="lineno">   71</span> </div>
<div class="line"><a id="l00072" name="l00072"></a><span class="lineno">   72</span> </div>
<div class="line"><a id="l00073" name="l00073"></a><span class="lineno">   73</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00074" name="l00074"></a><span class="lineno">   74</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;&amp; </div>
<div class="line"><a id="l00075" name="l00075"></a><span class="lineno">   75</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00076" name="l00076"></a><span class="lineno">   76</span>operator= (<span class="keyword">const</span> bc___rb_tree &amp;__x)</div>
<div class="line"><a id="l00077" name="l00077"></a><span class="lineno">   77</span>{</div>
<div class="line"><a id="l00078" name="l00078"></a><span class="lineno">   78</span>    <span class="keywordflow">if</span> (<span class="keyword">this</span> != &amp;__x) {</div>
<div class="line"><a id="l00079" name="l00079"></a><span class="lineno">   79</span>        erase (begin (), end ());</div>
<div class="line"><a id="l00080" name="l00080"></a><span class="lineno">   80</span> </div>
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno">   81</span>        <span class="comment">// set the root of the tree</span></div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno">   82</span>        _C_end-&gt;_C_parent = _C_copy (__x._C_end-&gt;_C_parent, _C_end);</div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno">   83</span> </div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno">   84</span>        <span class="keywordflow">if</span> (_C_link_t () == _C_end-&gt;_C_parent) {</div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno">   85</span>            <span class="comment">// set the child pointers of an empty tree to point to the header</span></div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno">   86</span>            _C_end-&gt;_C_child [0] =</div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno">   87</span>            _C_end-&gt;_C_child [1] = _C_end;</div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno">   88</span>        }</div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno">   89</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno">   90</span>            <span class="comment">// set the leftmost and the rightmost nodes</span></div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno">   91</span>            _C_end-&gt;_C_child [0] = _C_node_t::_C_min (_C_end-&gt;_C_parent);</div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno">   92</span>            _C_end-&gt;_C_child [1] = _C_node_t::_C_max (_C_end-&gt;_C_parent);</div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno">   93</span>        }</div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno">   94</span>        _C_size = __x._C_size;</div>
<div class="line"><a id="l00095" name="l00095"></a><span class="lineno">   95</span>        _C_cmp  = __x._C_cmp;</div>
<div class="line"><a id="l00096" name="l00096"></a><span class="lineno">   96</span>    }</div>
<div class="line"><a id="l00097" name="l00097"></a><span class="lineno">   97</span>    <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
<div class="line"><a id="l00098" name="l00098"></a><span class="lineno">   98</span>}</div>
<div class="line"><a id="l00099" name="l00099"></a><span class="lineno">   99</span> </div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno">  100</span> </div>
<div class="line"><a id="l00101" name="l00101"></a><span class="lineno">  101</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00102" name="l00102"></a><span class="lineno">  102</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00103" name="l00103"></a><span class="lineno">  103</span>bc___rb_tree (<span class="keyword">const</span> bc___rb_tree &amp;__lnk)</div>
<div class="line"><a id="l00104" name="l00104"></a><span class="lineno">  104</span>    : allocator_type (__lnk.get_allocator ()), _C_buf_list (0), _C_end (0),</div>
<div class="line"><a id="l00105" name="l00105"></a><span class="lineno">  105</span>      _C_size (__lnk._C_size),</div>
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno">  106</span>      _C_cmp (__lnk._C_cmp)</div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno">  107</span>{</div>
<div class="line"><a id="l00108" name="l00108"></a><span class="lineno">  108</span>    _C_free_list     = _C_next_avail = _C_last = 0;</div>
<div class="line"><a id="l00109" name="l00109"></a><span class="lineno">  109</span>    _C_end           = _C_get_node ();</div>
<div class="line"><a id="l00110" name="l00110"></a><span class="lineno">  110</span>    _C_end-&gt;_C_color = _C_node_t::_C_red;</div>
<div class="line"><a id="l00111" name="l00111"></a><span class="lineno">  111</span>    BC__TRY { </div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno">  112</span>        _C_end-&gt;_C_parent = _C_copy (__lnk._C_end-&gt;_C_parent, _C_end);</div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno">  113</span>    }</div>
<div class="line"><a id="l00114" name="l00114"></a><span class="lineno">  114</span>    BC__CATCH (...) {</div>
<div class="line"><a id="l00115" name="l00115"></a><span class="lineno">  115</span>        _C_deallocate_buffers ();</div>
<div class="line"><a id="l00116" name="l00116"></a><span class="lineno">  116</span>        BC__RETHROW;</div>
<div class="line"><a id="l00117" name="l00117"></a><span class="lineno">  117</span>    }</div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno">  118</span>    <span class="keywordflow">if</span> (_C_link_t () == _C_end-&gt;_C_parent) {</div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno">  119</span>        _C_end-&gt;_C_child [0] =</div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno">  120</span>            _C_end-&gt;_C_child [1] = _C_end;</div>
<div class="line"><a id="l00121" name="l00121"></a><span class="lineno">  121</span>    }</div>
<div class="line"><a id="l00122" name="l00122"></a><span class="lineno">  122</span>    <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00123" name="l00123"></a><span class="lineno">  123</span>        _C_end-&gt;_C_child [0] = _C_node_t::_C_min (_C_end-&gt;_C_parent);</div>
<div class="line"><a id="l00124" name="l00124"></a><span class="lineno">  124</span>        _C_end-&gt;_C_child [1] = _C_node_t::_C_max (_C_end-&gt;_C_parent);</div>
<div class="line"><a id="l00125" name="l00125"></a><span class="lineno">  125</span>    }</div>
<div class="line"><a id="l00126" name="l00126"></a><span class="lineno">  126</span>}</div>
<div class="line"><a id="l00127" name="l00127"></a><span class="lineno">  127</span> </div>
<div class="line"><a id="l00128" name="l00128"></a><span class="lineno">  128</span> </div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno">  129</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno">  130</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno">  131</span>~bc___rb_tree ()</div>
<div class="line"><a id="l00132" name="l00132"></a><span class="lineno">  132</span>{</div>
<div class="line"><a id="l00133" name="l00133"></a><span class="lineno">  133</span>    <span class="keywordflow">if</span> (_C_link_t () != _C_end) {</div>
<div class="line"><a id="l00134" name="l00134"></a><span class="lineno">  134</span>        erase (begin (), end ());</div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno">  135</span>        _C_put_node (_C_end, <span class="keyword">false</span>);</div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno">  136</span>        _C_deallocate_buffers ();</div>
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno">  137</span>    }</div>
<div class="line"><a id="l00138" name="l00138"></a><span class="lineno">  138</span>}</div>
<div class="line"><a id="l00139" name="l00139"></a><span class="lineno">  139</span> </div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno">  140</span> </div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno">  141</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00142" name="l00142"></a><span class="lineno">  142</span><span class="keywordtype">void</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00143" name="l00143"></a><span class="lineno">  143</span>_C_add_new_buffer ()</div>
<div class="line"><a id="l00144" name="l00144"></a><span class="lineno">  144</span>{</div>
<div class="line"><a id="l00145" name="l00145"></a><span class="lineno">  145</span>    <span class="keyword">const</span> size_type __bufsize =</div>
<div class="line"><a id="l00146" name="l00146"></a><span class="lineno">  146</span>        _C_buf_ptr_t () == _C_buf_list ? 0 : _C_buf_list-&gt;size;</div>
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno">  147</span> </div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno">  148</span>    size_type __newsize = _RWSTD_NEW_CAPACITY (bc___rb_tree, <span class="keyword">this</span>, __bufsize);</div>
<div class="line"><a id="l00149" name="l00149"></a><span class="lineno">  149</span>    <span class="keywordflow">if</span> (__newsize &lt;= __bufsize)</div>
<div class="line"><a id="l00150" name="l00150"></a><span class="lineno">  150</span>        __newsize = __bufsize + 1;</div>
<div class="line"><a id="l00151" name="l00151"></a><span class="lineno">  151</span> </div>
<div class="line"><a id="l00152" name="l00152"></a><span class="lineno">  152</span>    _C_buf_ptr_t __buf = </div>
<div class="line"><a id="l00153" name="l00153"></a><span class="lineno">  153</span>        _C_buf_alloc_t (*this).allocate (size_type (1), (<span class="keywordtype">void</span>*)_C_buf_list);</div>
<div class="line"><a id="l00154" name="l00154"></a><span class="lineno">  154</span> </div>
<div class="line"><a id="l00155" name="l00155"></a><span class="lineno">  155</span>    BC__TRY {</div>
<div class="line"><a id="l00156" name="l00156"></a><span class="lineno">  156</span>        __buf-&gt;_C_buffer = </div>
<div class="line"><a id="l00157" name="l00157"></a><span class="lineno">  157</span>            _C_node_alloc_t (*this).allocate (__newsize, (<span class="keywordtype">void</span>*)_C_last);</div>
<div class="line"><a id="l00158" name="l00158"></a><span class="lineno">  158</span>    }</div>
<div class="line"><a id="l00159" name="l00159"></a><span class="lineno">  159</span>    BC__CATCH (...) {</div>
<div class="line"><a id="l00160" name="l00160"></a><span class="lineno">  160</span>        _C_buf_alloc_t (*this).deallocate (__buf, 1);</div>
<div class="line"><a id="l00161" name="l00161"></a><span class="lineno">  161</span>        BC__RETHROW;</div>
<div class="line"><a id="l00162" name="l00162"></a><span class="lineno">  162</span>    } </div>
<div class="line"><a id="l00163" name="l00163"></a><span class="lineno">  163</span>    __buf-&gt;_C_next_buffer = _C_buf_list;</div>
<div class="line"><a id="l00164" name="l00164"></a><span class="lineno">  164</span>    __buf-&gt;size           = __newsize;</div>
<div class="line"><a id="l00165" name="l00165"></a><span class="lineno">  165</span>    _C_buf_list           = __buf;</div>
<div class="line"><a id="l00166" name="l00166"></a><span class="lineno">  166</span>    _C_next_avail         = _C_buf_list-&gt;_C_buffer;</div>
<div class="line"><a id="l00167" name="l00167"></a><span class="lineno">  167</span>    _C_last               = _C_next_avail + __newsize;</div>
<div class="line"><a id="l00168" name="l00168"></a><span class="lineno">  168</span>}</div>
<div class="line"><a id="l00169" name="l00169"></a><span class="lineno">  169</span> </div>
<div class="line"><a id="l00170" name="l00170"></a><span class="lineno">  170</span> </div>
<div class="line"><a id="l00171" name="l00171"></a><span class="lineno">  171</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00172" name="l00172"></a><span class="lineno">  172</span><span class="keywordtype">void</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00173" name="l00173"></a><span class="lineno">  173</span>_C_deallocate_buffers ()</div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno">  174</span>{</div>
<div class="line"><a id="l00175" name="l00175"></a><span class="lineno">  175</span>    <span class="keywordflow">while</span> ((<span class="keywordtype">void</span>*)_C_buf_list) {</div>
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno">  176</span>        _C_buf_ptr_t __tmp = _C_buf_list;</div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno">  177</span>        _C_buf_list        = (_C_buf_ptr_t)(_C_buf_list-&gt;_C_next_buffer);</div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno">  178</span>        _C_node_alloc_t(*this).deallocate(__tmp-&gt;_C_buffer,__tmp-&gt;size);</div>
<div class="line"><a id="l00179" name="l00179"></a><span class="lineno">  179</span>        _C_buf_alloc_t(*this).deallocate(__tmp,1);</div>
<div class="line"><a id="l00180" name="l00180"></a><span class="lineno">  180</span>    }</div>
<div class="line"><a id="l00181" name="l00181"></a><span class="lineno">  181</span>}</div>
<div class="line"><a id="l00182" name="l00182"></a><span class="lineno">  182</span> </div>
<div class="line"><a id="l00183" name="l00183"></a><span class="lineno">  183</span> </div>
<div class="line"><a id="l00184" name="l00184"></a><span class="lineno">  184</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00185" name="l00185"></a><span class="lineno">  185</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator</div>
<div class="line"><a id="l00186" name="l00186"></a><span class="lineno">  186</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00187" name="l00187"></a><span class="lineno">  187</span>_C_insert (_C_link_t __x, _C_link_t __y, <span class="keyword">const</span> value_type &amp;__v)</div>
<div class="line"><a id="l00188" name="l00188"></a><span class="lineno">  188</span>{</div>
<div class="line"><a id="l00189" name="l00189"></a><span class="lineno">  189</span>    _C_link_t __z = _C_get_node (__v);</div>
<div class="line"><a id="l00190" name="l00190"></a><span class="lineno">  190</span>    ++_C_size;</div>
<div class="line"><a id="l00191" name="l00191"></a><span class="lineno">  191</span> </div>
<div class="line"><a id="l00192" name="l00192"></a><span class="lineno">  192</span>    <span class="comment">// for notational convenience</span></div>
<div class="line"><a id="l00193" name="l00193"></a><span class="lineno">  193</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Red   = _C_node_t::_C_red;</div>
<div class="line"><a id="l00194" name="l00194"></a><span class="lineno">  194</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Black = _C_node_t::_C_black;</div>
<div class="line"><a id="l00195" name="l00195"></a><span class="lineno">  195</span>    <span class="keyword">const</span> _C_link_t                       _Null  = _C_link_t ();</div>
<div class="line"><a id="l00196" name="l00196"></a><span class="lineno">  196</span> </div>
<div class="line"><a id="l00197" name="l00197"></a><span class="lineno">  197</span>    <span class="keywordflow">if</span> (   __y == _C_end || _Null != __x</div>
<div class="line"><a id="l00198" name="l00198"></a><span class="lineno">  198</span>        || _C_cmp (_KeyOf()(__v), __y-&gt;_C_key ())) {</div>
<div class="line"><a id="l00199" name="l00199"></a><span class="lineno">  199</span> </div>
<div class="line"><a id="l00200" name="l00200"></a><span class="lineno">  200</span>        __y-&gt;_C_child [0] = __z;</div>
<div class="line"><a id="l00201" name="l00201"></a><span class="lineno">  201</span>        <span class="keywordflow">if</span> (__y == _C_end) {</div>
<div class="line"><a id="l00202" name="l00202"></a><span class="lineno">  202</span> </div>
<div class="line"><a id="l00203" name="l00203"></a><span class="lineno">  203</span>            <span class="comment">// set the root node and the rightmost node</span></div>
<div class="line"><a id="l00204" name="l00204"></a><span class="lineno">  204</span>            _C_end-&gt;_C_parent    = __z;</div>
<div class="line"><a id="l00205" name="l00205"></a><span class="lineno">  205</span>            _C_end-&gt;_C_child [1] = __z;</div>
<div class="line"><a id="l00206" name="l00206"></a><span class="lineno">  206</span>        }</div>
<div class="line"><a id="l00207" name="l00207"></a><span class="lineno">  207</span>        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (__y == _C_end-&gt;_C_child [0]) {</div>
<div class="line"><a id="l00208" name="l00208"></a><span class="lineno">  208</span>            <span class="comment">// set the leftmost node</span></div>
<div class="line"><a id="l00209" name="l00209"></a><span class="lineno">  209</span>            _C_end-&gt;_C_child [0] = __z;</div>
<div class="line"><a id="l00210" name="l00210"></a><span class="lineno">  210</span>        }</div>
<div class="line"><a id="l00211" name="l00211"></a><span class="lineno">  211</span>    }</div>
<div class="line"><a id="l00212" name="l00212"></a><span class="lineno">  212</span>    <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00213" name="l00213"></a><span class="lineno">  213</span>        __y-&gt;_C_child [1] = __z;</div>
<div class="line"><a id="l00214" name="l00214"></a><span class="lineno">  214</span>        <span class="keywordflow">if</span> (__y == _C_end-&gt;_C_child [1]) {</div>
<div class="line"><a id="l00215" name="l00215"></a><span class="lineno">  215</span>            <span class="comment">// set the rightmost node</span></div>
<div class="line"><a id="l00216" name="l00216"></a><span class="lineno">  216</span>            _C_end-&gt;_C_child [1] = __z;</div>
<div class="line"><a id="l00217" name="l00217"></a><span class="lineno">  217</span>        }</div>
<div class="line"><a id="l00218" name="l00218"></a><span class="lineno">  218</span>    }</div>
<div class="line"><a id="l00219" name="l00219"></a><span class="lineno">  219</span> </div>
<div class="line"><a id="l00220" name="l00220"></a><span class="lineno">  220</span>    __z-&gt;_C_parent = __y;</div>
<div class="line"><a id="l00221" name="l00221"></a><span class="lineno">  221</span>    __x            = __z;   <span class="comment">// recolor and rebalance the tree</span></div>
<div class="line"><a id="l00222" name="l00222"></a><span class="lineno">  222</span> </div>
<div class="line"><a id="l00223" name="l00223"></a><span class="lineno">  223</span>    <span class="keywordflow">while</span> (   __x != _C_end-&gt;_C_parent</div>
<div class="line"><a id="l00224" name="l00224"></a><span class="lineno">  224</span>           &amp;&amp; __x-&gt;_C_parent-&gt;_C_color == _Red) {</div>
<div class="line"><a id="l00225" name="l00225"></a><span class="lineno">  225</span> </div>
<div class="line"><a id="l00226" name="l00226"></a><span class="lineno">  226</span><span class="preprocessor">#ifndef  _RWSTD_NO_OPTIMIZE_SPEED</span></div>
<div class="line"><a id="l00227" name="l00227"></a><span class="lineno">  227</span> </div>
<div class="line"><a id="l00228" name="l00228"></a><span class="lineno">  228</span>        <span class="keywordflow">if</span> (__x-&gt;_C_parent == __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_child [0]) {</div>
<div class="line"><a id="l00229" name="l00229"></a><span class="lineno">  229</span> </div>
<div class="line"><a id="l00230" name="l00230"></a><span class="lineno">  230</span>            __y = __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_child [1];</div>
<div class="line"><a id="l00231" name="l00231"></a><span class="lineno">  231</span> </div>
<div class="line"><a id="l00232" name="l00232"></a><span class="lineno">  232</span>            <span class="keywordflow">if</span> (_Null != __y &amp;&amp; __y-&gt;_C_color == _Red) {</div>
<div class="line"><a id="l00233" name="l00233"></a><span class="lineno">  233</span>                __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00234" name="l00234"></a><span class="lineno">  234</span>                __y-&gt;_C_color                       = _Black;</div>
<div class="line"><a id="l00235" name="l00235"></a><span class="lineno">  235</span>                __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00236" name="l00236"></a><span class="lineno">  236</span>                __x                                 = __x-&gt;_C_parent-&gt;_C_parent;</div>
<div class="line"><a id="l00237" name="l00237"></a><span class="lineno">  237</span>            }</div>
<div class="line"><a id="l00238" name="l00238"></a><span class="lineno">  238</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00239" name="l00239"></a><span class="lineno">  239</span>                <span class="keywordflow">if</span> (__x == __x-&gt;_C_parent-&gt;_C_child [1]) {</div>
<div class="line"><a id="l00240" name="l00240"></a><span class="lineno">  240</span>                    __x = __x-&gt;_C_parent; </div>
<div class="line"><a id="l00241" name="l00241"></a><span class="lineno">  241</span>                    _C_rol (__x);</div>
<div class="line"><a id="l00242" name="l00242"></a><span class="lineno">  242</span>                }</div>
<div class="line"><a id="l00243" name="l00243"></a><span class="lineno">  243</span>                __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00244" name="l00244"></a><span class="lineno">  244</span>                __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00245" name="l00245"></a><span class="lineno">  245</span>                _C_ror (__x-&gt;_C_parent-&gt;_C_parent);</div>
<div class="line"><a id="l00246" name="l00246"></a><span class="lineno">  246</span>            }</div>
<div class="line"><a id="l00247" name="l00247"></a><span class="lineno">  247</span>        }</div>
<div class="line"><a id="l00248" name="l00248"></a><span class="lineno">  248</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00249" name="l00249"></a><span class="lineno">  249</span>            __y = __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_child [0];</div>
<div class="line"><a id="l00250" name="l00250"></a><span class="lineno">  250</span> </div>
<div class="line"><a id="l00251" name="l00251"></a><span class="lineno">  251</span>            <span class="keywordflow">if</span> (_Null != __y &amp;&amp; __y-&gt;_C_color == _Red) {</div>
<div class="line"><a id="l00252" name="l00252"></a><span class="lineno">  252</span>                __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00253" name="l00253"></a><span class="lineno">  253</span>                __y-&gt;_C_color                       = _Black;</div>
<div class="line"><a id="l00254" name="l00254"></a><span class="lineno">  254</span>                __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00255" name="l00255"></a><span class="lineno">  255</span>                __x                                 = __x-&gt;_C_parent-&gt;_C_parent;</div>
<div class="line"><a id="l00256" name="l00256"></a><span class="lineno">  256</span>            }</div>
<div class="line"><a id="l00257" name="l00257"></a><span class="lineno">  257</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00258" name="l00258"></a><span class="lineno">  258</span>                <span class="keywordflow">if</span> (__x == __x-&gt;_C_parent-&gt;_C_child [0]) {</div>
<div class="line"><a id="l00259" name="l00259"></a><span class="lineno">  259</span>                    __x = __x-&gt;_C_parent; </div>
<div class="line"><a id="l00260" name="l00260"></a><span class="lineno">  260</span>                    _C_ror (__x);</div>
<div class="line"><a id="l00261" name="l00261"></a><span class="lineno">  261</span>                }</div>
<div class="line"><a id="l00262" name="l00262"></a><span class="lineno">  262</span>                __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00263" name="l00263"></a><span class="lineno">  263</span>                __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00264" name="l00264"></a><span class="lineno">  264</span>                _C_rol (__x-&gt;_C_parent-&gt;_C_parent);</div>
<div class="line"><a id="l00265" name="l00265"></a><span class="lineno">  265</span>            }</div>
<div class="line"><a id="l00266" name="l00266"></a><span class="lineno">  266</span>        }</div>
<div class="line"><a id="l00267" name="l00267"></a><span class="lineno">  267</span> </div>
<div class="line"><a id="l00268" name="l00268"></a><span class="lineno">  268</span><span class="preprocessor">#else   </span><span class="comment">// if defined (_RWSTD_NO_OPTIMIZE_SPEED)</span></div>
<div class="line"><a id="l00269" name="l00269"></a><span class="lineno">  269</span> </div>
<div class="line"><a id="l00270" name="l00270"></a><span class="lineno">  270</span>        <span class="keyword">const</span> <span class="keywordtype">bool</span> __left =</div>
<div class="line"><a id="l00271" name="l00271"></a><span class="lineno">  271</span>            __x-&gt;_C_parent == __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_child [0];</div>
<div class="line"><a id="l00272" name="l00272"></a><span class="lineno">  272</span>        <span class="keyword">const</span> <span class="keywordtype">bool</span> __right = !__left;</div>
<div class="line"><a id="l00273" name="l00273"></a><span class="lineno">  273</span> </div>
<div class="line"><a id="l00274" name="l00274"></a><span class="lineno">  274</span>        __y = __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_child [__left];</div>
<div class="line"><a id="l00275" name="l00275"></a><span class="lineno">  275</span> </div>
<div class="line"><a id="l00276" name="l00276"></a><span class="lineno">  276</span>        <span class="keywordflow">if</span> (_Null != __y &amp;&amp; _Red == __y-&gt;_C_color) {</div>
<div class="line"><a id="l00277" name="l00277"></a><span class="lineno">  277</span>            __y-&gt;_C_color                       =</div>
<div class="line"><a id="l00278" name="l00278"></a><span class="lineno">  278</span>            __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00279" name="l00279"></a><span class="lineno">  279</span>            __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00280" name="l00280"></a><span class="lineno">  280</span>            __x                                 = __x-&gt;_C_parent-&gt;_C_parent;</div>
<div class="line"><a id="l00281" name="l00281"></a><span class="lineno">  281</span>        }</div>
<div class="line"><a id="l00282" name="l00282"></a><span class="lineno">  282</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00283" name="l00283"></a><span class="lineno">  283</span>            <span class="keywordflow">if</span> (__x == __x-&gt;_C_parent-&gt;_C_child [__left]) {</div>
<div class="line"><a id="l00284" name="l00284"></a><span class="lineno">  284</span>                __x = __x-&gt;_C_parent; </div>
<div class="line"><a id="l00285" name="l00285"></a><span class="lineno">  285</span>                _C_rotate (__x, __right);</div>
<div class="line"><a id="l00286" name="l00286"></a><span class="lineno">  286</span>            }</div>
<div class="line"><a id="l00287" name="l00287"></a><span class="lineno">  287</span>            __x-&gt;_C_parent-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00288" name="l00288"></a><span class="lineno">  288</span>            __x-&gt;_C_parent-&gt;_C_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00289" name="l00289"></a><span class="lineno">  289</span>            _C_rotate (__x-&gt;_C_parent-&gt;_C_parent, __left);</div>
<div class="line"><a id="l00290" name="l00290"></a><span class="lineno">  290</span>        }</div>
<div class="line"><a id="l00291" name="l00291"></a><span class="lineno">  291</span> </div>
<div class="line"><a id="l00292" name="l00292"></a><span class="lineno">  292</span><span class="preprocessor">#endif   </span><span class="comment">// _RWSTD_NO_OPTIMIZE_SPEED</span></div>
<div class="line"><a id="l00293" name="l00293"></a><span class="lineno">  293</span> </div>
<div class="line"><a id="l00294" name="l00294"></a><span class="lineno">  294</span>    }</div>
<div class="line"><a id="l00295" name="l00295"></a><span class="lineno">  295</span> </div>
<div class="line"><a id="l00296" name="l00296"></a><span class="lineno">  296</span>    <span class="comment">// set the color of the root node</span></div>
<div class="line"><a id="l00297" name="l00297"></a><span class="lineno">  297</span>    _C_end-&gt;_C_parent-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00298" name="l00298"></a><span class="lineno">  298</span> </div>
<div class="line"><a id="l00299" name="l00299"></a><span class="lineno">  299</span>    <span class="keywordflow">return</span> _C_make_iter (__z);</div>
<div class="line"><a id="l00300" name="l00300"></a><span class="lineno">  300</span>}</div>
<div class="line"><a id="l00301" name="l00301"></a><span class="lineno">  301</span> </div>
<div class="line"><a id="l00302" name="l00302"></a><span class="lineno">  302</span> </div>
<div class="line"><a id="l00303" name="l00303"></a><span class="lineno">  303</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00304" name="l00304"></a><span class="lineno">  304</span><span class="keywordtype">void</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00305" name="l00305"></a><span class="lineno">  305</span>_C_insert (<span class="keyword">const</span> value_type &amp;__v, ATEC::xpair&lt;iterator, bool&gt; &amp;__ret,</div>
<div class="line"><a id="l00306" name="l00306"></a><span class="lineno">  306</span>           <span class="keywordtype">bool</span> __dup)</div>
<div class="line"><a id="l00307" name="l00307"></a><span class="lineno">  307</span>{</div>
<div class="line"><a id="l00308" name="l00308"></a><span class="lineno">  308</span>    _C_link_t __y = _C_end;              <span class="comment">// end</span></div>
<div class="line"><a id="l00309" name="l00309"></a><span class="lineno">  309</span>    _C_link_t __x = _C_end-&gt;_C_parent;   <span class="comment">// root node</span></div>
<div class="line"><a id="l00310" name="l00310"></a><span class="lineno">  310</span> </div>
<div class="line"><a id="l00311" name="l00311"></a><span class="lineno">  311</span>    <span class="keywordtype">bool</span> __right  = <span class="keyword">true</span>;</div>
<div class="line"><a id="l00312" name="l00312"></a><span class="lineno">  312</span> </div>
<div class="line"><a id="l00313" name="l00313"></a><span class="lineno">  313</span>    <span class="keywordflow">while</span> (_C_link_t () != __x) {</div>
<div class="line"><a id="l00314" name="l00314"></a><span class="lineno">  314</span>        __y     = __x;</div>
<div class="line"><a id="l00315" name="l00315"></a><span class="lineno">  315</span>        __right = _C_cmp (_KeyOf ()(__v), __x-&gt;_C_key ());</div>
<div class="line"><a id="l00316" name="l00316"></a><span class="lineno">  316</span>        __x     = __x-&gt;_C_child [!__right];</div>
<div class="line"><a id="l00317" name="l00317"></a><span class="lineno">  317</span>    }</div>
<div class="line"><a id="l00318" name="l00318"></a><span class="lineno">  318</span> </div>
<div class="line"><a id="l00319" name="l00319"></a><span class="lineno">  319</span>    <span class="keyword">typedef</span> ATEC::xpair&lt;iterator, bool&gt; _IterPair;</div>
<div class="line"><a id="l00320" name="l00320"></a><span class="lineno">  320</span> </div>
<div class="line"><a id="l00321" name="l00321"></a><span class="lineno">  321</span>    <span class="keywordflow">if</span> (__dup) {</div>
<div class="line"><a id="l00322" name="l00322"></a><span class="lineno">  322</span>        <span class="comment">// allow insertion of duplicate keys</span></div>
<div class="line"><a id="l00323" name="l00323"></a><span class="lineno">  323</span>        __ret = _IterPair (_C_insert (__x, __y, __v), <span class="keyword">true</span>);</div>
<div class="line"><a id="l00324" name="l00324"></a><span class="lineno">  324</span>        <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00325" name="l00325"></a><span class="lineno">  325</span>    }</div>
<div class="line"><a id="l00326" name="l00326"></a><span class="lineno">  326</span> </div>
<div class="line"><a id="l00327" name="l00327"></a><span class="lineno">  327</span>    iterator __j = _C_make_iter (__y);   </div>
<div class="line"><a id="l00328" name="l00328"></a><span class="lineno">  328</span>    <span class="keywordflow">if</span> (__right) {</div>
<div class="line"><a id="l00329" name="l00329"></a><span class="lineno">  329</span>        <span class="keywordflow">if</span> (__j == begin ()) {</div>
<div class="line"><a id="l00330" name="l00330"></a><span class="lineno">  330</span>            __ret = _IterPair (_C_insert (__x, __y, __v), <span class="keyword">true</span>);</div>
<div class="line"><a id="l00331" name="l00331"></a><span class="lineno">  331</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00332" name="l00332"></a><span class="lineno">  332</span>        }</div>
<div class="line"><a id="l00333" name="l00333"></a><span class="lineno">  333</span>        --__j;</div>
<div class="line"><a id="l00334" name="l00334"></a><span class="lineno">  334</span>    }</div>
<div class="line"><a id="l00335" name="l00335"></a><span class="lineno">  335</span> </div>
<div class="line"><a id="l00336" name="l00336"></a><span class="lineno">  336</span>    <span class="keywordflow">if</span> (_C_cmp (_ITER_NODE (__j)-&gt;_C_key (), _KeyOf ()(__v)))</div>
<div class="line"><a id="l00337" name="l00337"></a><span class="lineno">  337</span>        __ret = _IterPair (_C_insert (__x, __y, __v), <span class="keyword">true</span>);</div>
<div class="line"><a id="l00338" name="l00338"></a><span class="lineno">  338</span>    <span class="keywordflow">else</span></div>
<div class="line"><a id="l00339" name="l00339"></a><span class="lineno">  339</span>        __ret = _IterPair (__j, <span class="keyword">false</span>);</div>
<div class="line"><a id="l00340" name="l00340"></a><span class="lineno">  340</span>}</div>
<div class="line"><a id="l00341" name="l00341"></a><span class="lineno">  341</span> </div>
<div class="line"><a id="l00342" name="l00342"></a><span class="lineno">  342</span> </div>
<div class="line"><a id="l00343" name="l00343"></a><span class="lineno">  343</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00344" name="l00344"></a><span class="lineno">  344</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00345" name="l00345"></a><span class="lineno">  345</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00346" name="l00346"></a><span class="lineno">  346</span>insert (iterator __it, <span class="keyword">const</span> value_type &amp;__v, <span class="keywordtype">bool</span> __dup)</div>
<div class="line"><a id="l00347" name="l00347"></a><span class="lineno">  347</span>{</div>
<div class="line"><a id="l00348" name="l00348"></a><span class="lineno">  348</span>    _RWSTD_ASSERT_RANGE (begin (), __it);</div>
<div class="line"><a id="l00349" name="l00349"></a><span class="lineno">  349</span> </div>
<div class="line"><a id="l00350" name="l00350"></a><span class="lineno">  350</span><span class="preprocessor">#ifdef _RWSTDDEBUG</span></div>
<div class="line"><a id="l00351" name="l00351"></a><span class="lineno">  351</span> </div>
<div class="line"><a id="l00352" name="l00352"></a><span class="lineno">  352</span>    {   <span class="comment">// verify the consistency of the tree</span></div>
<div class="line"><a id="l00353" name="l00353"></a><span class="lineno">  353</span>        size_type __two_logN = 0;</div>
<div class="line"><a id="l00354" name="l00354"></a><span class="lineno">  354</span>        <span class="keywordflow">for</span> (size_type __i = size () + 1; __i &gt;&gt;= 1; ++__two_logN);</div>
<div class="line"><a id="l00355" name="l00355"></a><span class="lineno">  355</span> </div>
<div class="line"><a id="l00356" name="l00356"></a><span class="lineno">  356</span>        __two_logN *= 2;</div>
<div class="line"><a id="l00357" name="l00357"></a><span class="lineno">  357</span> </div>
<div class="line"><a id="l00358" name="l00358"></a><span class="lineno">  358</span>        <span class="keyword">const</span> size_type __depth = _C_depth ();</div>
<div class="line"><a id="l00359" name="l00359"></a><span class="lineno">  359</span>        _RWSTD_ASSERT (__depth &lt;= __two_logN);</div>
<div class="line"><a id="l00360" name="l00360"></a><span class="lineno">  360</span>    }</div>
<div class="line"><a id="l00361" name="l00361"></a><span class="lineno">  361</span> </div>
<div class="line"><a id="l00362" name="l00362"></a><span class="lineno">  362</span><span class="preprocessor">#endif   </span><span class="comment">// _RWSTDDEBUG</span></div>
<div class="line"><a id="l00363" name="l00363"></a><span class="lineno">  363</span> </div>
<div class="line"><a id="l00364" name="l00364"></a><span class="lineno">  364</span>    <span class="keyword">const</span> _C_link_t __hint = _ITER_NODE (__it);</div>
<div class="line"><a id="l00365" name="l00365"></a><span class="lineno">  365</span> </div>
<div class="line"><a id="l00366" name="l00366"></a><span class="lineno">  366</span>    <span class="comment">// if __hint is the right most child, or tree is empty</span></div>
<div class="line"><a id="l00367" name="l00367"></a><span class="lineno">  367</span>    <span class="keywordflow">if</span> (__hint == _C_end-&gt;_C_child [1]) {</div>
<div class="line"><a id="l00368" name="l00368"></a><span class="lineno">  368</span> </div>
<div class="line"><a id="l00369" name="l00369"></a><span class="lineno">  369</span>        <span class="comment">// if tree is not empty and __key is greater</span></div>
<div class="line"><a id="l00370" name="l00370"></a><span class="lineno">  370</span>        <span class="comment">// then insert on the right</span></div>
<div class="line"><a id="l00371" name="l00371"></a><span class="lineno">  371</span>        <span class="keywordflow">if</span> (_C_size &amp;&amp; _C_cmp (__hint-&gt;_C_key (), _KeyOf ()(__v)))</div>
<div class="line"><a id="l00372" name="l00372"></a><span class="lineno">  372</span>            <span class="keywordflow">return</span> _C_insert (0, __hint, __v);</div>
<div class="line"><a id="l00373" name="l00373"></a><span class="lineno">  373</span> </div>
<div class="line"><a id="l00374" name="l00374"></a><span class="lineno">  374</span>        <span class="comment">// otherwise just insert</span></div>
<div class="line"><a id="l00375" name="l00375"></a><span class="lineno">  375</span>        <span class="keywordflow">return</span> insert (__v, __dup).first;</div>
<div class="line"><a id="l00376" name="l00376"></a><span class="lineno">  376</span>    }</div>
<div class="line"><a id="l00377" name="l00377"></a><span class="lineno">  377</span> </div>
<div class="line"><a id="l00378" name="l00378"></a><span class="lineno">  378</span>    <span class="comment">// if __hint is past the end and __key is greater,</span></div>
<div class="line"><a id="l00379" name="l00379"></a><span class="lineno">  379</span>    <span class="comment">// then insert on the right</span></div>
<div class="line"><a id="l00380" name="l00380"></a><span class="lineno">  380</span>    <span class="keywordflow">if</span> (__hint == _C_end) {</div>
<div class="line"><a id="l00381" name="l00381"></a><span class="lineno">  381</span>        <span class="keywordflow">if</span> (_C_cmp (__hint-&gt;_C_child [1]-&gt;_C_key(), _KeyOf ()(__v)))</div>
<div class="line"><a id="l00382" name="l00382"></a><span class="lineno">  382</span>            <span class="keywordflow">return</span> _C_insert (0, __hint-&gt;_C_child [1], __v);</div>
<div class="line"><a id="l00383" name="l00383"></a><span class="lineno">  383</span>        <span class="keywordflow">return</span> insert (__v, __dup).first;</div>
<div class="line"><a id="l00384" name="l00384"></a><span class="lineno">  384</span>    }</div>
<div class="line"><a id="l00385" name="l00385"></a><span class="lineno">  385</span> </div>
<div class="line"><a id="l00386" name="l00386"></a><span class="lineno">  386</span>    <span class="comment">// if __hint is the left most child and __key is less</span></div>
<div class="line"><a id="l00387" name="l00387"></a><span class="lineno">  387</span>    <span class="comment">// then insert on the left</span></div>
<div class="line"><a id="l00388" name="l00388"></a><span class="lineno">  388</span>    <span class="keywordflow">if</span> (__hint == _C_end-&gt;_C_child [0]) {</div>
<div class="line"><a id="l00389" name="l00389"></a><span class="lineno">  389</span>        <span class="keywordflow">if</span> (_C_cmp (_KeyOf ()(__v), __hint-&gt;_C_key ()))</div>
<div class="line"><a id="l00390" name="l00390"></a><span class="lineno">  390</span>            <span class="keywordflow">return</span> _C_insert (__hint, __hint, __v);</div>
<div class="line"><a id="l00391" name="l00391"></a><span class="lineno">  391</span>        <span class="keywordflow">return</span> insert (__v, __dup).first;</div>
<div class="line"><a id="l00392" name="l00392"></a><span class="lineno">  392</span>    }</div>
<div class="line"><a id="l00393" name="l00393"></a><span class="lineno">  393</span> </div>
<div class="line"><a id="l00394" name="l00394"></a><span class="lineno">  394</span>    <span class="keyword">const</span> iterator __prev = __it++;</div>
<div class="line"><a id="l00395" name="l00395"></a><span class="lineno">  395</span> </div>
<div class="line"><a id="l00396" name="l00396"></a><span class="lineno">  396</span>    <span class="comment">// if __v falls between __prev and __it, then insert it there</span></div>
<div class="line"><a id="l00397" name="l00397"></a><span class="lineno">  397</span>    <span class="keywordflow">if</span> (   _C_cmp (_ITER_NODE (__prev)-&gt;_C_key (), _KeyOf ()(__v))</div>
<div class="line"><a id="l00398" name="l00398"></a><span class="lineno">  398</span>        &amp;&amp; _C_cmp (_KeyOf ()(__v), _ITER_NODE (__it)-&gt;_C_key ())) {</div>
<div class="line"><a id="l00399" name="l00399"></a><span class="lineno">  399</span> </div>
<div class="line"><a id="l00400" name="l00400"></a><span class="lineno">  400</span>        <span class="comment">// if there is no right child of __prev, then __prev is the</span></div>
<div class="line"><a id="l00401" name="l00401"></a><span class="lineno">  401</span>        <span class="comment">// left child of __it and we insert to right of __prev</span></div>
<div class="line"><a id="l00402" name="l00402"></a><span class="lineno">  402</span>        <span class="keywordflow">if</span> (_C_link_t () == _ITER_NODE (__prev)-&gt;_C_child [1])</div>
<div class="line"><a id="l00403" name="l00403"></a><span class="lineno">  403</span>            <span class="keywordflow">return</span> _C_insert (0, _ITER_NODE (__prev), __v); </div>
<div class="line"><a id="l00404" name="l00404"></a><span class="lineno">  404</span> </div>
<div class="line"><a id="l00405" name="l00405"></a><span class="lineno">  405</span>        <span class="comment">// otherwise we insert on the left of __it</span></div>
<div class="line"><a id="l00406" name="l00406"></a><span class="lineno">  406</span>        <span class="keywordflow">return</span> _C_insert (_ITER_NODE (__it), _ITER_NODE (__it), __v);</div>
<div class="line"><a id="l00407" name="l00407"></a><span class="lineno">  407</span>    }</div>
<div class="line"><a id="l00408" name="l00408"></a><span class="lineno">  408</span> </div>
<div class="line"><a id="l00409" name="l00409"></a><span class="lineno">  409</span>    <span class="comment">// otherwise, do a full traversal</span></div>
<div class="line"><a id="l00410" name="l00410"></a><span class="lineno">  410</span>    <span class="keywordflow">return</span> insert (__v, __dup).first;</div>
<div class="line"><a id="l00411" name="l00411"></a><span class="lineno">  411</span>}</div>
<div class="line"><a id="l00412" name="l00412"></a><span class="lineno">  412</span> </div>
<div class="line"><a id="l00413" name="l00413"></a><span class="lineno">  413</span> </div>
<div class="line"><a id="l00414" name="l00414"></a><span class="lineno">  414</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00415" name="l00415"></a><span class="lineno">  415</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00416" name="l00416"></a><span class="lineno">  416</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::erase (iterator __it)</div>
<div class="line"><a id="l00417" name="l00417"></a><span class="lineno">  417</span>{</div>
<div class="line"><a id="l00418" name="l00418"></a><span class="lineno">  418</span>    _RWSTD_ASSERT_RANGE (begin (), __it);</div>
<div class="line"><a id="l00419" name="l00419"></a><span class="lineno">  419</span> </div>
<div class="line"><a id="l00420" name="l00420"></a><span class="lineno">  420</span><span class="preprocessor">#ifdef _RWSTDDEBUG</span></div>
<div class="line"><a id="l00421" name="l00421"></a><span class="lineno">  421</span> </div>
<div class="line"><a id="l00422" name="l00422"></a><span class="lineno">  422</span>    {   <span class="comment">// verify the consistency of the tree</span></div>
<div class="line"><a id="l00423" name="l00423"></a><span class="lineno">  423</span>        size_type __two_logN = 0;</div>
<div class="line"><a id="l00424" name="l00424"></a><span class="lineno">  424</span>        <span class="keywordflow">for</span> (size_type __i = size () + 1; __i &gt;&gt;= 1; ++__two_logN);</div>
<div class="line"><a id="l00425" name="l00425"></a><span class="lineno">  425</span> </div>
<div class="line"><a id="l00426" name="l00426"></a><span class="lineno">  426</span>        __two_logN *= 2;</div>
<div class="line"><a id="l00427" name="l00427"></a><span class="lineno">  427</span> </div>
<div class="line"><a id="l00428" name="l00428"></a><span class="lineno">  428</span>        <span class="keyword">const</span> size_type __depth = _C_depth ();</div>
<div class="line"><a id="l00429" name="l00429"></a><span class="lineno">  429</span>        _RWSTD_ASSERT (__depth &lt;= __two_logN);</div>
<div class="line"><a id="l00430" name="l00430"></a><span class="lineno">  430</span>    }</div>
<div class="line"><a id="l00431" name="l00431"></a><span class="lineno">  431</span> </div>
<div class="line"><a id="l00432" name="l00432"></a><span class="lineno">  432</span><span class="preprocessor">#endif   </span><span class="comment">// _RWSTDDEBUG</span></div>
<div class="line"><a id="l00433" name="l00433"></a><span class="lineno">  433</span> </div>
<div class="line"><a id="l00434" name="l00434"></a><span class="lineno">  434</span>    <span class="keywordflow">if</span> (__it == end ())</div>
<div class="line"><a id="l00435" name="l00435"></a><span class="lineno">  435</span>        <span class="keywordflow">return</span> end ();</div>
<div class="line"><a id="l00436" name="l00436"></a><span class="lineno">  436</span> </div>
<div class="line"><a id="l00437" name="l00437"></a><span class="lineno">  437</span>    <span class="comment">// for notational convenience</span></div>
<div class="line"><a id="l00438" name="l00438"></a><span class="lineno">  438</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Red   = _C_node_t::_C_red;</div>
<div class="line"><a id="l00439" name="l00439"></a><span class="lineno">  439</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Black = _C_node_t::_C_black;</div>
<div class="line"><a id="l00440" name="l00440"></a><span class="lineno">  440</span>    <span class="keyword">const</span> _C_link_t                       _Null  = _C_link_t ();</div>
<div class="line"><a id="l00441" name="l00441"></a><span class="lineno">  441</span> </div>
<div class="line"><a id="l00442" name="l00442"></a><span class="lineno">  442</span>    <span class="comment">// returned iterator pointing to the object just past `it&#39;</span></div>
<div class="line"><a id="l00443" name="l00443"></a><span class="lineno">  443</span>    <span class="keyword">const</span> iterator __next = ++iterator (__it); </div>
<div class="line"><a id="l00444" name="l00444"></a><span class="lineno">  444</span> </div>
<div class="line"><a id="l00445" name="l00445"></a><span class="lineno">  445</span>    _C_link_t __z (_ITER_NODE (__it));   <span class="comment">// `it&#39;s node</span></div>
<div class="line"><a id="l00446" name="l00446"></a><span class="lineno">  446</span>    _C_link_t __y (__z);                 <span class="comment">// node to be erased</span></div>
<div class="line"><a id="l00447" name="l00447"></a><span class="lineno">  447</span>    _C_link_t __x;</div>
<div class="line"><a id="l00448" name="l00448"></a><span class="lineno">  448</span> </div>
<div class="line"><a id="l00449" name="l00449"></a><span class="lineno">  449</span>    _C_link_t __x_parent = 0;</div>
<div class="line"><a id="l00450" name="l00450"></a><span class="lineno">  450</span> </div>
<div class="line"><a id="l00451" name="l00451"></a><span class="lineno">  451</span> </div>
<div class="line"><a id="l00452" name="l00452"></a><span class="lineno">  452</span>    _RWSTD_ASSERT (_Null != __z);</div>
<div class="line"><a id="l00453" name="l00453"></a><span class="lineno">  453</span> </div>
<div class="line"><a id="l00454" name="l00454"></a><span class="lineno">  454</span>    <span class="keywordflow">if</span> (_Null == __y-&gt;_C_child [0]) { </div>
<div class="line"><a id="l00455" name="l00455"></a><span class="lineno">  455</span>        <span class="comment">// __z might have one non-null child. x </span></div>
<div class="line"><a id="l00456" name="l00456"></a><span class="lineno">  456</span>        <span class="comment">// holds that child (might be null though).</span></div>
<div class="line"><a id="l00457" name="l00457"></a><span class="lineno">  457</span>        __x = __y-&gt;_C_child [1]; </div>
<div class="line"><a id="l00458" name="l00458"></a><span class="lineno">  458</span>    }</div>
<div class="line"><a id="l00459" name="l00459"></a><span class="lineno">  459</span>    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_Null == __y-&gt;_C_child [1]) {</div>
<div class="line"><a id="l00460" name="l00460"></a><span class="lineno">  460</span>        <span class="comment">// __z HAS one non-null child and __x points to it now.</span></div>
<div class="line"><a id="l00461" name="l00461"></a><span class="lineno">  461</span>        __x = __y-&gt;_C_child [0];</div>
<div class="line"><a id="l00462" name="l00462"></a><span class="lineno">  462</span>    }</div>
<div class="line"><a id="l00463" name="l00463"></a><span class="lineno">  463</span>    <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00464" name="l00464"></a><span class="lineno">  464</span>        <span class="comment">// __z has two non-null children; make __y point to its immediate</span></div>
<div class="line"><a id="l00465" name="l00465"></a><span class="lineno">  465</span>        <span class="comment">// predecessor; __x will point to that predecessor&#39;s immediate</span></div>
<div class="line"><a id="l00466" name="l00466"></a><span class="lineno">  466</span>        <span class="comment">// predecessor.</span></div>
<div class="line"><a id="l00467" name="l00467"></a><span class="lineno">  467</span>        __y = _C_node_t::_C_min (__y-&gt;_C_child [1]);</div>
<div class="line"><a id="l00468" name="l00468"></a><span class="lineno">  468</span>        __x = __y-&gt;_C_child [1];</div>
<div class="line"><a id="l00469" name="l00469"></a><span class="lineno">  469</span>    }</div>
<div class="line"><a id="l00470" name="l00470"></a><span class="lineno">  470</span> </div>
<div class="line"><a id="l00471" name="l00471"></a><span class="lineno">  471</span> </div>
<div class="line"><a id="l00472" name="l00472"></a><span class="lineno">  472</span>    <span class="keywordflow">if</span> (__y != __z) {</div>
<div class="line"><a id="l00473" name="l00473"></a><span class="lineno">  473</span>        <span class="comment">// __y != __z ( means __y is in __z&#39;s left suxtree )</span></div>
<div class="line"><a id="l00474" name="l00474"></a><span class="lineno">  474</span> </div>
<div class="line"><a id="l00475" name="l00475"></a><span class="lineno">  475</span>        <span class="comment">// __y REPLACES __z</span></div>
<div class="line"><a id="l00476" name="l00476"></a><span class="lineno">  476</span> </div>
<div class="line"><a id="l00477" name="l00477"></a><span class="lineno">  477</span>        <span class="comment">// relink `y&#39; in place of `z&#39; (at this point __y </span></div>
<div class="line"><a id="l00478" name="l00478"></a><span class="lineno">  478</span>        <span class="comment">// is __z&#39;s immediate predecessor)</span></div>
<div class="line"><a id="l00479" name="l00479"></a><span class="lineno">  479</span>        __z-&gt;_C_child [0]-&gt;_C_parent = __y; </div>
<div class="line"><a id="l00480" name="l00480"></a><span class="lineno">  480</span>        __y-&gt;_C_child [0]            = __z-&gt;_C_child [0];</div>
<div class="line"><a id="l00481" name="l00481"></a><span class="lineno">  481</span> </div>
<div class="line"><a id="l00482" name="l00482"></a><span class="lineno">  482</span>        <span class="keywordflow">if</span> (__y != __z-&gt;_C_child [1]) {</div>
<div class="line"><a id="l00483" name="l00483"></a><span class="lineno">  483</span>            <span class="comment">// __y is predecessor but is not __z&#39;s direct child (right)</span></div>
<div class="line"><a id="l00484" name="l00484"></a><span class="lineno">  484</span> </div>
<div class="line"><a id="l00485" name="l00485"></a><span class="lineno">  485</span>            <span class="comment">// save y&#39;s former parent</span></div>
<div class="line"><a id="l00486" name="l00486"></a><span class="lineno">  486</span>            __x_parent = __y-&gt;_C_parent;</div>
<div class="line"><a id="l00487" name="l00487"></a><span class="lineno">  487</span> </div>
<div class="line"><a id="l00488" name="l00488"></a><span class="lineno">  488</span>            <span class="keywordflow">if</span> (_Null != __x)</div>
<div class="line"><a id="l00489" name="l00489"></a><span class="lineno">  489</span>                <span class="comment">// if __x exists, __x&#39;s parent becomes __y&#39;s parent</span></div>
<div class="line"><a id="l00490" name="l00490"></a><span class="lineno">  490</span>                __x-&gt;_C_parent = __y-&gt;_C_parent;</div>
<div class="line"><a id="l00491" name="l00491"></a><span class="lineno">  491</span> </div>
<div class="line"><a id="l00492" name="l00492"></a><span class="lineno">  492</span>            <span class="comment">// __y&#39;s former parent becomes __x&#39;s parent</span></div>
<div class="line"><a id="l00493" name="l00493"></a><span class="lineno">  493</span>            __y-&gt;_C_parent-&gt;_C_child [0] = __x;</div>
<div class="line"><a id="l00494" name="l00494"></a><span class="lineno">  494</span> </div>
<div class="line"><a id="l00495" name="l00495"></a><span class="lineno">  495</span>            <span class="comment">// __y&#39;s right child gets __z&#39;s former right child</span></div>
<div class="line"><a id="l00496" name="l00496"></a><span class="lineno">  496</span>            __y-&gt;_C_child [1]            = __z-&gt;_C_child [1];</div>
<div class="line"><a id="l00497" name="l00497"></a><span class="lineno">  497</span> </div>
<div class="line"><a id="l00498" name="l00498"></a><span class="lineno">  498</span>            <span class="comment">// __z&#39;s former right child gets __y as parent</span></div>
<div class="line"><a id="l00499" name="l00499"></a><span class="lineno">  499</span>            __z-&gt;_C_child [1]-&gt;_C_parent = __y;</div>
<div class="line"><a id="l00500" name="l00500"></a><span class="lineno">  500</span>        }</div>
<div class="line"><a id="l00501" name="l00501"></a><span class="lineno">  501</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00502" name="l00502"></a><span class="lineno">  502</span> </div>
<div class="line"><a id="l00503" name="l00503"></a><span class="lineno">  503</span>            <span class="comment">// in the case when __y is a direct child of __z, </span></div>
<div class="line"><a id="l00504" name="l00504"></a><span class="lineno">  504</span>            <span class="comment">// save __y value as __x&#39;s parent </span></div>
<div class="line"><a id="l00505" name="l00505"></a><span class="lineno">  505</span>            __x_parent = __y;  </div>
<div class="line"><a id="l00506" name="l00506"></a><span class="lineno">  506</span> </div>
<div class="line"><a id="l00507" name="l00507"></a><span class="lineno">  507</span>        }</div>
<div class="line"><a id="l00508" name="l00508"></a><span class="lineno">  508</span> </div>
<div class="line"><a id="l00509" name="l00509"></a><span class="lineno">  509</span>        <span class="keywordflow">if</span> (_C_end-&gt;_C_parent == __z) {</div>
<div class="line"><a id="l00510" name="l00510"></a><span class="lineno">  510</span>            <span class="comment">// when deleted (__z) is root/end, then __y replaces root/end</span></div>
<div class="line"><a id="l00511" name="l00511"></a><span class="lineno">  511</span>            _C_end-&gt;_C_parent = __y;</div>
<div class="line"><a id="l00512" name="l00512"></a><span class="lineno">  512</span>        }</div>
<div class="line"><a id="l00513" name="l00513"></a><span class="lineno">  513</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00514" name="l00514"></a><span class="lineno">  514</span>            <span class="comment">// nice shot; </span></div>
<div class="line"><a id="l00515" name="l00515"></a><span class="lineno">  515</span>            <span class="comment">// when __z is not root/end, then its parent&#39;s</span></div>
<div class="line"><a id="l00516" name="l00516"></a><span class="lineno">  516</span>            <span class="comment">// child on __z&#39;s side becomes __y</span></div>
<div class="line"><a id="l00517" name="l00517"></a><span class="lineno">  517</span>            __z-&gt;_C_parent-&gt;_C_child [__z-&gt;_C_parent-&gt;_C_child [0] != __z]</div>
<div class="line"><a id="l00518" name="l00518"></a><span class="lineno">  518</span>                = __y;</div>
<div class="line"><a id="l00519" name="l00519"></a><span class="lineno">  519</span>        }</div>
<div class="line"><a id="l00520" name="l00520"></a><span class="lineno">  520</span> </div>
<div class="line"><a id="l00521" name="l00521"></a><span class="lineno">  521</span>        <span class="comment">// Finally, y&#39;s parent changes to be z&#39;s parent;</span></div>
<div class="line"><a id="l00522" name="l00522"></a><span class="lineno">  522</span>        <span class="comment">// y is completely severed from its place</span></div>
<div class="line"><a id="l00523" name="l00523"></a><span class="lineno">  523</span>        __y-&gt;_C_parent = __z-&gt;_C_parent;</div>
<div class="line"><a id="l00524" name="l00524"></a><span class="lineno">  524</span> </div>
<div class="line"><a id="l00525" name="l00525"></a><span class="lineno">  525</span>        <span class="comment">// swap y and z colors</span></div>
<div class="line"><a id="l00526" name="l00526"></a><span class="lineno">  526</span>        std::swap (__y-&gt;_C_color, __z-&gt;_C_color);</div>
<div class="line"><a id="l00527" name="l00527"></a><span class="lineno">  527</span> </div>
<div class="line"><a id="l00528" name="l00528"></a><span class="lineno">  528</span>        <span class="comment">// __y now points to the deleted node </span></div>
<div class="line"><a id="l00529" name="l00529"></a><span class="lineno">  529</span>        __y = __z;</div>
<div class="line"><a id="l00530" name="l00530"></a><span class="lineno">  530</span>    }</div>
<div class="line"><a id="l00531" name="l00531"></a><span class="lineno">  531</span>    <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00532" name="l00532"></a><span class="lineno">  532</span>        <span class="comment">// (__y == __z)  ( __z has had only one child (or maybe none) )</span></div>
<div class="line"><a id="l00533" name="l00533"></a><span class="lineno">  533</span> </div>
<div class="line"><a id="l00534" name="l00534"></a><span class="lineno">  534</span>        <span class="comment">// __x REPLACES __z</span></div>
<div class="line"><a id="l00535" name="l00535"></a><span class="lineno">  535</span> </div>
<div class="line"><a id="l00536" name="l00536"></a><span class="lineno">  536</span>        <span class="comment">// save __y&#39;s/__z&#39;s parent (will later become x&#39;s parent)</span></div>
<div class="line"><a id="l00537" name="l00537"></a><span class="lineno">  537</span>        __x_parent = __y-&gt;_C_parent;</div>
<div class="line"><a id="l00538" name="l00538"></a><span class="lineno">  538</span>        </div>
<div class="line"><a id="l00539" name="l00539"></a><span class="lineno">  539</span>        <span class="keywordflow">if</span> (_Null != __x) {</div>
<div class="line"><a id="l00540" name="l00540"></a><span class="lineno">  540</span>            <span class="comment">// for a non-null __x, set its parent to point to __y&#39;s parent</span></div>
<div class="line"><a id="l00541" name="l00541"></a><span class="lineno">  541</span>            __x-&gt;_C_parent = __y-&gt;_C_parent;</div>
<div class="line"><a id="l00542" name="l00542"></a><span class="lineno">  542</span>        }</div>
<div class="line"><a id="l00543" name="l00543"></a><span class="lineno">  543</span> </div>
<div class="line"><a id="l00544" name="l00544"></a><span class="lineno">  544</span>        <span class="keywordflow">if</span> (_C_end-&gt;_C_parent == __z) {</div>
<div class="line"><a id="l00545" name="l00545"></a><span class="lineno">  545</span>            <span class="comment">// if __z was root, __x becomes new root...</span></div>
<div class="line"><a id="l00546" name="l00546"></a><span class="lineno">  546</span>            _C_end-&gt;_C_parent = __x;</div>
<div class="line"><a id="l00547" name="l00547"></a><span class="lineno">  547</span>        }</div>
<div class="line"><a id="l00548" name="l00548"></a><span class="lineno">  548</span>        <span class="keywordflow">else</span></div>
<div class="line"><a id="l00549" name="l00549"></a><span class="lineno">  549</span>            <span class="comment">// ... otherwise, __x simply replaces __z and as such,</span></div>
<div class="line"><a id="l00550" name="l00550"></a><span class="lineno">  550</span>            <span class="comment">// __z&#39;s parent gets __x as right *or* left child</span></div>
<div class="line"><a id="l00551" name="l00551"></a><span class="lineno">  551</span>            __z-&gt;_C_parent-&gt;_C_child [__z-&gt;_C_parent-&gt;_C_child [0] != __z]</div>
<div class="line"><a id="l00552" name="l00552"></a><span class="lineno">  552</span>                = __x;</div>
<div class="line"><a id="l00553" name="l00553"></a><span class="lineno">  553</span> </div>
<div class="line"><a id="l00554" name="l00554"></a><span class="lineno">  554</span>        <span class="comment">// ADJUST TREE&#39;S CORNERS</span></div>
<div class="line"><a id="l00555" name="l00555"></a><span class="lineno">  555</span>        <span class="keywordflow">if</span> (_C_end-&gt;_C_child [0] == __z)  {</div>
<div class="line"><a id="l00556" name="l00556"></a><span class="lineno">  556</span>            <span class="comment">// __z is the left corner of the tree (smallest object)</span></div>
<div class="line"><a id="l00557" name="l00557"></a><span class="lineno">  557</span> </div>
<div class="line"><a id="l00558" name="l00558"></a><span class="lineno">  558</span>            <span class="keywordflow">if</span> (_Null == __z-&gt;_C_child [1])</div>
<div class="line"><a id="l00559" name="l00559"></a><span class="lineno">  559</span>                <span class="comment">// when __z leaves the tree, leftmost will be invalidated; </span></div>
<div class="line"><a id="l00560" name="l00560"></a><span class="lineno">  560</span>                <span class="comment">// adjust left corner to point to __z&#39;s  parent</span></div>
<div class="line"><a id="l00561" name="l00561"></a><span class="lineno">  561</span>                _C_end-&gt;_C_child [0] = __z-&gt;_C_parent;</div>
<div class="line"><a id="l00562" name="l00562"></a><span class="lineno">  562</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00563" name="l00563"></a><span class="lineno">  563</span>                <span class="comment">// finding the successor of __z when __z&#39;s right suxtree</span></div>
<div class="line"><a id="l00564" name="l00564"></a><span class="lineno">  564</span>                <span class="comment">// is not null; leftmost becomes that minimum/sucessor</span></div>
<div class="line"><a id="l00565" name="l00565"></a><span class="lineno">  565</span>                _C_end-&gt;_C_child [0] = _C_node_t::_C_min (__x);</div>
<div class="line"><a id="l00566" name="l00566"></a><span class="lineno">  566</span>            }</div>
<div class="line"><a id="l00567" name="l00567"></a><span class="lineno">  567</span>        }</div>
<div class="line"><a id="l00568" name="l00568"></a><span class="lineno">  568</span> </div>
<div class="line"><a id="l00569" name="l00569"></a><span class="lineno">  569</span>        <span class="keywordflow">if</span> (_C_end-&gt;_C_child [1] == __z)   {</div>
<div class="line"><a id="l00570" name="l00570"></a><span class="lineno">  570</span>            <span class="comment">// __z is in the right corner of the tree</span></div>
<div class="line"><a id="l00571" name="l00571"></a><span class="lineno">  571</span> </div>
<div class="line"><a id="l00572" name="l00572"></a><span class="lineno">  572</span>            <span class="keywordflow">if</span> (_Null == __z-&gt;_C_child [0])</div>
<div class="line"><a id="l00573" name="l00573"></a><span class="lineno">  573</span>                <span class="comment">// when __z leaves the tree, right corner will be invalidated; </span></div>
<div class="line"><a id="l00574" name="l00574"></a><span class="lineno">  574</span>                <span class="comment">// adjust right corner to point to __z&#39;s  parent</span></div>
<div class="line"><a id="l00575" name="l00575"></a><span class="lineno">  575</span>                _C_end-&gt;_C_child [1] = __z-&gt;_C_parent;</div>
<div class="line"><a id="l00576" name="l00576"></a><span class="lineno">  576</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00577" name="l00577"></a><span class="lineno">  577</span>                <span class="comment">// otherwise, find z&#39;s predecessor in z&#39;s </span></div>
<div class="line"><a id="l00578" name="l00578"></a><span class="lineno">  578</span>                <span class="comment">// left suxtree; that becomes the new rightmost object</span></div>
<div class="line"><a id="l00579" name="l00579"></a><span class="lineno">  579</span>                _C_end-&gt;_C_child [1] = _C_node_t::_C_max (__x);</div>
<div class="line"><a id="l00580" name="l00580"></a><span class="lineno">  580</span>            }</div>
<div class="line"><a id="l00581" name="l00581"></a><span class="lineno">  581</span>        }</div>
<div class="line"><a id="l00582" name="l00582"></a><span class="lineno">  582</span>    }</div>
<div class="line"><a id="l00583" name="l00583"></a><span class="lineno">  583</span> </div>
<div class="line"><a id="l00584" name="l00584"></a><span class="lineno">  584</span> </div>
<div class="line"><a id="l00585" name="l00585"></a><span class="lineno">  585</span>    <span class="comment">// COLOR SWAPPING</span></div>
<div class="line"><a id="l00586" name="l00586"></a><span class="lineno">  586</span>    <span class="comment">// (At this point __y has replaced __z and __z has been removed.)</span></div>
<div class="line"><a id="l00587" name="l00587"></a><span class="lineno">  587</span> </div>
<div class="line"><a id="l00588" name="l00588"></a><span class="lineno">  588</span>    <span class="keywordflow">if</span> (__y-&gt;_C_color != _Red) {</div>
<div class="line"><a id="l00589" name="l00589"></a><span class="lineno">  589</span> </div>
<div class="line"><a id="l00590" name="l00590"></a><span class="lineno">  590</span>            <span class="comment">// __y&#39;s color is not red; had it been red, we would have been </span></div>
<div class="line"><a id="l00591" name="l00591"></a><span class="lineno">  591</span>            <span class="comment">// done because it would not have altered the &quot;blackness&quot;</span></div>
<div class="line"><a id="l00592" name="l00592"></a><span class="lineno">  592</span>            </div>
<div class="line"><a id="l00593" name="l00593"></a><span class="lineno">  593</span> </div>
<div class="line"><a id="l00594" name="l00594"></a><span class="lineno">  594</span>            <span class="comment">// At the loop&#39;s beginning, __x can be one of the two:</span></div>
<div class="line"><a id="l00595" name="l00595"></a><span class="lineno">  595</span>            <span class="comment">// 1. either the strict predecessor of __z&#39;s strict predecessor</span></div>
<div class="line"><a id="l00596" name="l00596"></a><span class="lineno">  596</span>            <span class="comment">//    and in this case is down the suxtree on z&#39;s left</span></div>
<div class="line"><a id="l00597" name="l00597"></a><span class="lineno">  597</span>            <span class="comment">// 2. is the node that replaced __z when __z has had only one </span></div>
<div class="line"><a id="l00598" name="l00598"></a><span class="lineno">  598</span>            <span class="comment">//    child; that child has replaced __z and its changes</span></div>
<div class="line"><a id="l00599" name="l00599"></a><span class="lineno">  599</span>            <span class="comment">//    will be propagated upward</span></div>
<div class="line"><a id="l00600" name="l00600"></a><span class="lineno">  600</span> </div>
<div class="line"><a id="l00601" name="l00601"></a><span class="lineno">  601</span> </div>
<div class="line"><a id="l00602" name="l00602"></a><span class="lineno">  602</span>        <span class="keywordflow">while</span> (   __x != _C_end-&gt;_C_parent</div>
<div class="line"><a id="l00603" name="l00603"></a><span class="lineno">  603</span>               &amp;&amp; (_Null == __x || __x-&gt;_C_color == _Black)) {</div>
<div class="line"><a id="l00604" name="l00604"></a><span class="lineno">  604</span> </div>
<div class="line"><a id="l00605" name="l00605"></a><span class="lineno">  605</span><span class="preprocessor">#ifndef _RWSTD_NO_OPTIMIZE_SPEED</span></div>
<div class="line"><a id="l00606" name="l00606"></a><span class="lineno">  606</span> </div>
<div class="line"><a id="l00607" name="l00607"></a><span class="lineno">  607</span>            <span class="keywordflow">if</span> (__x == __x_parent-&gt;_C_child [0]) {</div>
<div class="line"><a id="l00608" name="l00608"></a><span class="lineno">  608</span> </div>
<div class="line"><a id="l00609" name="l00609"></a><span class="lineno">  609</span>                <span class="comment">// X ON THE LEFT SIDE OF ITS PARENT</span></div>
<div class="line"><a id="l00610" name="l00610"></a><span class="lineno">  610</span> </div>
<div class="line"><a id="l00611" name="l00611"></a><span class="lineno">  611</span>                <span class="comment">// __w is __x&#39;s brother/sibling</span></div>
<div class="line"><a id="l00612" name="l00612"></a><span class="lineno">  612</span>                _C_link_t __w = __x_parent-&gt;_C_child [1];</div>
<div class="line"><a id="l00613" name="l00613"></a><span class="lineno">  613</span> </div>
<div class="line"><a id="l00614" name="l00614"></a><span class="lineno">  614</span>                <span class="keywordflow">if</span> (_Red == __w-&gt;_C_color) {</div>
<div class="line"><a id="l00615" name="l00615"></a><span class="lineno">  615</span>                    __w-&gt;_C_color        = _Black;</div>
<div class="line"><a id="l00616" name="l00616"></a><span class="lineno">  616</span>                    __x_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00617" name="l00617"></a><span class="lineno">  617</span> </div>
<div class="line"><a id="l00618" name="l00618"></a><span class="lineno">  618</span>                    _C_rol (__x_parent);</div>
<div class="line"><a id="l00619" name="l00619"></a><span class="lineno">  619</span> </div>
<div class="line"><a id="l00620" name="l00620"></a><span class="lineno">  620</span>                    __w = __x_parent-&gt;_C_child [1];</div>
<div class="line"><a id="l00621" name="l00621"></a><span class="lineno">  621</span>                }</div>
<div class="line"><a id="l00622" name="l00622"></a><span class="lineno">  622</span> </div>
<div class="line"><a id="l00623" name="l00623"></a><span class="lineno">  623</span>                <span class="keywordflow">if</span> ((_Null  == __w-&gt;_C_child [0] || </div>
<div class="line"><a id="l00624" name="l00624"></a><span class="lineno">  624</span>                     _Black == __w-&gt;_C_child [0]-&gt;_C_color) &amp;&amp; </div>
<div class="line"><a id="l00625" name="l00625"></a><span class="lineno">  625</span>                    (_Null  == __w-&gt;_C_child [1] || </div>
<div class="line"><a id="l00626" name="l00626"></a><span class="lineno">  626</span>                     _Black == __w-&gt;_C_child [1]-&gt;_C_color)) {</div>
<div class="line"><a id="l00627" name="l00627"></a><span class="lineno">  627</span>                    <span class="comment">// __x&#39;s sibling (__w) has black children (or null);</span></div>
<div class="line"><a id="l00628" name="l00628"></a><span class="lineno">  628</span>                    <span class="comment">// color __x&#39;s sibling as RED and move up in the tree</span></div>
<div class="line"><a id="l00629" name="l00629"></a><span class="lineno">  629</span>                    __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00630" name="l00630"></a><span class="lineno">  630</span>                    __x           = __x_parent;</div>
<div class="line"><a id="l00631" name="l00631"></a><span class="lineno">  631</span>                    __x_parent    = __x_parent-&gt;_C_parent;</div>
<div class="line"><a id="l00632" name="l00632"></a><span class="lineno">  632</span>                }</div>
<div class="line"><a id="l00633" name="l00633"></a><span class="lineno">  633</span>                <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00634" name="l00634"></a><span class="lineno">  634</span>                    <span class="comment">// __w (__x&#39;s sibling) has a child which is RED</span></div>
<div class="line"><a id="l00635" name="l00635"></a><span class="lineno">  635</span> </div>
<div class="line"><a id="l00636" name="l00636"></a><span class="lineno">  636</span>                    <span class="keywordflow">if</span> (_Null  == __w-&gt;_C_child [1] || </div>
<div class="line"><a id="l00637" name="l00637"></a><span class="lineno">  637</span>                        _Black == __w-&gt;_C_child [1]-&gt;_C_color) {</div>
<div class="line"><a id="l00638" name="l00638"></a><span class="lineno">  638</span> </div>
<div class="line"><a id="l00639" name="l00639"></a><span class="lineno">  639</span>                        <span class="comment">// __w&#39;s left is RED</span></div>
<div class="line"><a id="l00640" name="l00640"></a><span class="lineno">  640</span> </div>
<div class="line"><a id="l00641" name="l00641"></a><span class="lineno">  641</span>                        <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [0])</div>
<div class="line"><a id="l00642" name="l00642"></a><span class="lineno">  642</span>                            <span class="comment">// the left RED child becomes BLACK</span></div>
<div class="line"><a id="l00643" name="l00643"></a><span class="lineno">  643</span>                            __w-&gt;_C_child [0]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00644" name="l00644"></a><span class="lineno">  644</span> </div>
<div class="line"><a id="l00645" name="l00645"></a><span class="lineno">  645</span>                        <span class="comment">// __w (x&#39;s sibling) becomes RED - color propagates up</span></div>
<div class="line"><a id="l00646" name="l00646"></a><span class="lineno">  646</span>                        __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00647" name="l00647"></a><span class="lineno">  647</span> </div>
<div class="line"><a id="l00648" name="l00648"></a><span class="lineno">  648</span>                        _C_ror (__w);</div>
<div class="line"><a id="l00649" name="l00649"></a><span class="lineno">  649</span> </div>
<div class="line"><a id="l00650" name="l00650"></a><span class="lineno">  650</span>                        __w = __x_parent-&gt;_C_child [1];</div>
<div class="line"><a id="l00651" name="l00651"></a><span class="lineno">  651</span>                    }</div>
<div class="line"><a id="l00652" name="l00652"></a><span class="lineno">  652</span> </div>
<div class="line"><a id="l00653" name="l00653"></a><span class="lineno">  653</span>                    __w-&gt;_C_color        = __x_parent-&gt;_C_color;</div>
<div class="line"><a id="l00654" name="l00654"></a><span class="lineno">  654</span>                    __x_parent-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00655" name="l00655"></a><span class="lineno">  655</span> </div>
<div class="line"><a id="l00656" name="l00656"></a><span class="lineno">  656</span>                    <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [1])</div>
<div class="line"><a id="l00657" name="l00657"></a><span class="lineno">  657</span>                        __w-&gt;_C_child [1]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00658" name="l00658"></a><span class="lineno">  658</span> </div>
<div class="line"><a id="l00659" name="l00659"></a><span class="lineno">  659</span>                    _C_rol (__x_parent);</div>
<div class="line"><a id="l00660" name="l00660"></a><span class="lineno">  660</span> </div>
<div class="line"><a id="l00661" name="l00661"></a><span class="lineno">  661</span>                    <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00662" name="l00662"></a><span class="lineno">  662</span>                }</div>
<div class="line"><a id="l00663" name="l00663"></a><span class="lineno">  663</span>            }</div>
<div class="line"><a id="l00664" name="l00664"></a><span class="lineno">  664</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00665" name="l00665"></a><span class="lineno">  665</span> </div>
<div class="line"><a id="l00666" name="l00666"></a><span class="lineno">  666</span>                <span class="comment">// same as the if clause with &quot;right&quot; and &quot;left&quot; exchanged</span></div>
<div class="line"><a id="l00667" name="l00667"></a><span class="lineno">  667</span> </div>
<div class="line"><a id="l00668" name="l00668"></a><span class="lineno">  668</span>                _C_link_t __w = __x_parent-&gt;_C_child [0];</div>
<div class="line"><a id="l00669" name="l00669"></a><span class="lineno">  669</span> </div>
<div class="line"><a id="l00670" name="l00670"></a><span class="lineno">  670</span>                <span class="keywordflow">if</span> (_Red == __w-&gt;_C_color) {</div>
<div class="line"><a id="l00671" name="l00671"></a><span class="lineno">  671</span>                    __w-&gt;_C_color        = _Black;</div>
<div class="line"><a id="l00672" name="l00672"></a><span class="lineno">  672</span>                    __x_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00673" name="l00673"></a><span class="lineno">  673</span> </div>
<div class="line"><a id="l00674" name="l00674"></a><span class="lineno">  674</span>                    _C_ror (__x_parent);</div>
<div class="line"><a id="l00675" name="l00675"></a><span class="lineno">  675</span> </div>
<div class="line"><a id="l00676" name="l00676"></a><span class="lineno">  676</span>                    __w = __x_parent-&gt;_C_child [0];</div>
<div class="line"><a id="l00677" name="l00677"></a><span class="lineno">  677</span>                }</div>
<div class="line"><a id="l00678" name="l00678"></a><span class="lineno">  678</span> </div>
<div class="line"><a id="l00679" name="l00679"></a><span class="lineno">  679</span>                <span class="keywordflow">if</span> ((_Null  == __w-&gt;_C_child [1] || </div>
<div class="line"><a id="l00680" name="l00680"></a><span class="lineno">  680</span>                     _Black == __w-&gt;_C_child [1]-&gt;_C_color) &amp;&amp; </div>
<div class="line"><a id="l00681" name="l00681"></a><span class="lineno">  681</span>                    (_Null  == __w-&gt;_C_child [0] || </div>
<div class="line"><a id="l00682" name="l00682"></a><span class="lineno">  682</span>                     _Black == __w-&gt;_C_child [0]-&gt;_C_color)) {</div>
<div class="line"><a id="l00683" name="l00683"></a><span class="lineno">  683</span>                    __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00684" name="l00684"></a><span class="lineno">  684</span>                    __x           = __x_parent;</div>
<div class="line"><a id="l00685" name="l00685"></a><span class="lineno">  685</span>                    __x_parent    = __x_parent-&gt;_C_parent;</div>
<div class="line"><a id="l00686" name="l00686"></a><span class="lineno">  686</span>                }</div>
<div class="line"><a id="l00687" name="l00687"></a><span class="lineno">  687</span>                <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00688" name="l00688"></a><span class="lineno">  688</span>                    <span class="keywordflow">if</span> (_Null  == __w-&gt;_C_child [0] || </div>
<div class="line"><a id="l00689" name="l00689"></a><span class="lineno">  689</span>                        _Black == __w-&gt;_C_child [0]-&gt;_C_color) {</div>
<div class="line"><a id="l00690" name="l00690"></a><span class="lineno">  690</span>                        <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [1])</div>
<div class="line"><a id="l00691" name="l00691"></a><span class="lineno">  691</span>                            __w-&gt;_C_child [1]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00692" name="l00692"></a><span class="lineno">  692</span> </div>
<div class="line"><a id="l00693" name="l00693"></a><span class="lineno">  693</span>                        __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00694" name="l00694"></a><span class="lineno">  694</span> </div>
<div class="line"><a id="l00695" name="l00695"></a><span class="lineno">  695</span>                        _C_rol (__w);</div>
<div class="line"><a id="l00696" name="l00696"></a><span class="lineno">  696</span> </div>
<div class="line"><a id="l00697" name="l00697"></a><span class="lineno">  697</span>                        __w = __x_parent-&gt;_C_child [0];</div>
<div class="line"><a id="l00698" name="l00698"></a><span class="lineno">  698</span>                    }</div>
<div class="line"><a id="l00699" name="l00699"></a><span class="lineno">  699</span> </div>
<div class="line"><a id="l00700" name="l00700"></a><span class="lineno">  700</span>                    __w-&gt;_C_color        = __x_parent-&gt;_C_color;</div>
<div class="line"><a id="l00701" name="l00701"></a><span class="lineno">  701</span>                    __x_parent-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00702" name="l00702"></a><span class="lineno">  702</span> </div>
<div class="line"><a id="l00703" name="l00703"></a><span class="lineno">  703</span>                    <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [0])</div>
<div class="line"><a id="l00704" name="l00704"></a><span class="lineno">  704</span>                        __w-&gt;_C_child [0]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00705" name="l00705"></a><span class="lineno">  705</span> </div>
<div class="line"><a id="l00706" name="l00706"></a><span class="lineno">  706</span>                    _C_ror (__x_parent);</div>
<div class="line"><a id="l00707" name="l00707"></a><span class="lineno">  707</span> </div>
<div class="line"><a id="l00708" name="l00708"></a><span class="lineno">  708</span>                    <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00709" name="l00709"></a><span class="lineno">  709</span>                }</div>
<div class="line"><a id="l00710" name="l00710"></a><span class="lineno">  710</span>            }</div>
<div class="line"><a id="l00711" name="l00711"></a><span class="lineno">  711</span> </div>
<div class="line"><a id="l00712" name="l00712"></a><span class="lineno">  712</span><span class="preprocessor">#else   </span><span class="comment">// if defined (_RWSTD_NO_OPTIMIZE_SPEED)</span></div>
<div class="line"><a id="l00713" name="l00713"></a><span class="lineno">  713</span> </div>
<div class="line"><a id="l00714" name="l00714"></a><span class="lineno">  714</span>            <span class="keyword">const</span> <span class="keywordtype">bool</span> __left  = (__x == __x_parent-&gt;_C_child [0]);</div>
<div class="line"><a id="l00715" name="l00715"></a><span class="lineno">  715</span>            <span class="keyword">const</span> <span class="keywordtype">bool</span> __right = !__left;</div>
<div class="line"><a id="l00716" name="l00716"></a><span class="lineno">  716</span> </div>
<div class="line"><a id="l00717" name="l00717"></a><span class="lineno">  717</span>            _C_link_t __w = __x_parent-&gt;_C_child [__left];</div>
<div class="line"><a id="l00718" name="l00718"></a><span class="lineno">  718</span> </div>
<div class="line"><a id="l00719" name="l00719"></a><span class="lineno">  719</span>            <span class="keywordflow">if</span> (_Red == __w-&gt;_C_color) {</div>
<div class="line"><a id="l00720" name="l00720"></a><span class="lineno">  720</span>                __w-&gt;_C_color            = _Black;</div>
<div class="line"><a id="l00721" name="l00721"></a><span class="lineno">  721</span>                __x_parent-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00722" name="l00722"></a><span class="lineno">  722</span> </div>
<div class="line"><a id="l00723" name="l00723"></a><span class="lineno">  723</span>                <span class="comment">// rotate right if `x&#39; is a right child, otherwise right</span></div>
<div class="line"><a id="l00724" name="l00724"></a><span class="lineno">  724</span>                _C_rotate (__x_parent, __right);</div>
<div class="line"><a id="l00725" name="l00725"></a><span class="lineno">  725</span>                __w = __x_parent-&gt;_C_child [__left];</div>
<div class="line"><a id="l00726" name="l00726"></a><span class="lineno">  726</span>            }</div>
<div class="line"><a id="l00727" name="l00727"></a><span class="lineno">  727</span> </div>
<div class="line"><a id="l00728" name="l00728"></a><span class="lineno">  728</span>            <span class="keywordflow">if</span> ((_Null  == __w-&gt;_C_child [__right] || </div>
<div class="line"><a id="l00729" name="l00729"></a><span class="lineno">  729</span>                 _Black == __w-&gt;_C_child [__right]-&gt;_C_color) &amp;&amp;</div>
<div class="line"><a id="l00730" name="l00730"></a><span class="lineno">  730</span>                (_Null  == __w-&gt;_C_child [__left ] || </div>
<div class="line"><a id="l00731" name="l00731"></a><span class="lineno">  731</span>                 _Black == __w-&gt;_C_child [__left ]-&gt;_C_color)) {</div>
<div class="line"><a id="l00732" name="l00732"></a><span class="lineno">  732</span>                __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00733" name="l00733"></a><span class="lineno">  733</span>                __x           = __x_parent;</div>
<div class="line"><a id="l00734" name="l00734"></a><span class="lineno">  734</span>                __x_parent    = __x-&gt;_C_parent;</div>
<div class="line"><a id="l00735" name="l00735"></a><span class="lineno">  735</span>            }</div>
<div class="line"><a id="l00736" name="l00736"></a><span class="lineno">  736</span>            <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00737" name="l00737"></a><span class="lineno">  737</span>                <span class="keywordflow">if</span> (_Null  == __w-&gt;_C_child [__left] || </div>
<div class="line"><a id="l00738" name="l00738"></a><span class="lineno">  738</span>                    _Black == __w-&gt;_C_child [__left]-&gt;_C_color) {</div>
<div class="line"><a id="l00739" name="l00739"></a><span class="lineno">  739</span> </div>
<div class="line"><a id="l00740" name="l00740"></a><span class="lineno">  740</span>                    <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [__right])</div>
<div class="line"><a id="l00741" name="l00741"></a><span class="lineno">  741</span>                        __w-&gt;_C_child [__right]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00742" name="l00742"></a><span class="lineno">  742</span> </div>
<div class="line"><a id="l00743" name="l00743"></a><span class="lineno">  743</span>                    __w-&gt;_C_color = _Red;</div>
<div class="line"><a id="l00744" name="l00744"></a><span class="lineno">  744</span>                    _C_rotate (__w, __left);</div>
<div class="line"><a id="l00745" name="l00745"></a><span class="lineno">  745</span>                    __w = __x_parent-&gt;_C_child [__left];</div>
<div class="line"><a id="l00746" name="l00746"></a><span class="lineno">  746</span>                }</div>
<div class="line"><a id="l00747" name="l00747"></a><span class="lineno">  747</span> </div>
<div class="line"><a id="l00748" name="l00748"></a><span class="lineno">  748</span>                <span class="keywordflow">if</span> (_Null != __w) {</div>
<div class="line"><a id="l00749" name="l00749"></a><span class="lineno">  749</span>                    __w-&gt;_C_color        = __x_parent-&gt;_C_color;</div>
<div class="line"><a id="l00750" name="l00750"></a><span class="lineno">  750</span>                    __x_parent-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00751" name="l00751"></a><span class="lineno">  751</span> </div>
<div class="line"><a id="l00752" name="l00752"></a><span class="lineno">  752</span>                    <span class="keywordflow">if</span> (_Null != __w-&gt;_C_child [__left])</div>
<div class="line"><a id="l00753" name="l00753"></a><span class="lineno">  753</span>                        __w-&gt;_C_child [__left]-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00754" name="l00754"></a><span class="lineno">  754</span> </div>
<div class="line"><a id="l00755" name="l00755"></a><span class="lineno">  755</span>                    _C_rotate (__x_parent, __right);</div>
<div class="line"><a id="l00756" name="l00756"></a><span class="lineno">  756</span>                }</div>
<div class="line"><a id="l00757" name="l00757"></a><span class="lineno">  757</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00758" name="l00758"></a><span class="lineno">  758</span>            }</div>
<div class="line"><a id="l00759" name="l00759"></a><span class="lineno">  759</span> </div>
<div class="line"><a id="l00760" name="l00760"></a><span class="lineno">  760</span><span class="preprocessor">#endif   </span><span class="comment">// _RWSTD_NO_OPTIMIZE_SPEED</span></div>
<div class="line"><a id="l00761" name="l00761"></a><span class="lineno">  761</span> </div>
<div class="line"><a id="l00762" name="l00762"></a><span class="lineno">  762</span>        }</div>
<div class="line"><a id="l00763" name="l00763"></a><span class="lineno">  763</span>         </div>
<div class="line"><a id="l00764" name="l00764"></a><span class="lineno">  764</span>        <span class="keywordflow">if</span> (_Null != __x)</div>
<div class="line"><a id="l00765" name="l00765"></a><span class="lineno">  765</span>            __x-&gt;_C_color = _Black;</div>
<div class="line"><a id="l00766" name="l00766"></a><span class="lineno">  766</span>        </div>
<div class="line"><a id="l00767" name="l00767"></a><span class="lineno">  767</span>    }</div>
<div class="line"><a id="l00768" name="l00768"></a><span class="lineno">  768</span>    </div>
<div class="line"><a id="l00769" name="l00769"></a><span class="lineno">  769</span>    _C_put_node (__y);</div>
<div class="line"><a id="l00770" name="l00770"></a><span class="lineno">  770</span>    </div>
<div class="line"><a id="l00771" name="l00771"></a><span class="lineno">  771</span>    --_C_size;</div>
<div class="line"><a id="l00772" name="l00772"></a><span class="lineno">  772</span>    </div>
<div class="line"><a id="l00773" name="l00773"></a><span class="lineno">  773</span>    <span class="keywordflow">return</span> __next;</div>
<div class="line"><a id="l00774" name="l00774"></a><span class="lineno">  774</span>}</div>
<div class="line"><a id="l00775" name="l00775"></a><span class="lineno">  775</span> </div>
<div class="line"><a id="l00776" name="l00776"></a><span class="lineno">  776</span> </div>
<div class="line"><a id="l00777" name="l00777"></a><span class="lineno">  777</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00778" name="l00778"></a><span class="lineno">  778</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::size_type </div>
<div class="line"><a id="l00779" name="l00779"></a><span class="lineno">  779</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00780" name="l00780"></a><span class="lineno">  780</span>erase (<span class="keyword">const</span> key_type &amp;__x)</div>
<div class="line"><a id="l00781" name="l00781"></a><span class="lineno">  781</span>{</div>
<div class="line"><a id="l00782" name="l00782"></a><span class="lineno">  782</span>    <span class="keyword">const</span> ATEC::xpair&lt;iterator, iterator&gt; __p = equal_range(__x);</div>
<div class="line"><a id="l00783" name="l00783"></a><span class="lineno">  783</span> </div>
<div class="line"><a id="l00784" name="l00784"></a><span class="lineno">  784</span>    <span class="keyword">const</span> size_type __n = BC__DISTANCE (__p.first, __p.second, size_type);</div>
<div class="line"><a id="l00785" name="l00785"></a><span class="lineno">  785</span> </div>
<div class="line"><a id="l00786" name="l00786"></a><span class="lineno">  786</span>    erase (__p.first, __p.second);</div>
<div class="line"><a id="l00787" name="l00787"></a><span class="lineno">  787</span> </div>
<div class="line"><a id="l00788" name="l00788"></a><span class="lineno">  788</span>    <span class="keywordflow">return</span> __n;</div>
<div class="line"><a id="l00789" name="l00789"></a><span class="lineno">  789</span>}</div>
<div class="line"><a id="l00790" name="l00790"></a><span class="lineno">  790</span> </div>
<div class="line"><a id="l00791" name="l00791"></a><span class="lineno">  791</span> </div>
<div class="line"><a id="l00792" name="l00792"></a><span class="lineno">  792</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00793" name="l00793"></a><span class="lineno">  793</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::_C_link_t </div>
<div class="line"><a id="l00794" name="l00794"></a><span class="lineno">  794</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00795" name="l00795"></a><span class="lineno">  795</span>_C_copy (_C_link_t __x, _C_link_t __p)</div>
<div class="line"><a id="l00796" name="l00796"></a><span class="lineno">  796</span>{</div>
<div class="line"><a id="l00797" name="l00797"></a><span class="lineno">  797</span>    <span class="comment">// recursive structural copy</span></div>
<div class="line"><a id="l00798" name="l00798"></a><span class="lineno">  798</span>    _C_link_t __res = __x;</div>
<div class="line"><a id="l00799" name="l00799"></a><span class="lineno">  799</span> </div>
<div class="line"><a id="l00800" name="l00800"></a><span class="lineno">  800</span>    <span class="keywordflow">while</span> (_C_link_t () != __x) {</div>
<div class="line"><a id="l00801" name="l00801"></a><span class="lineno">  801</span>        <span class="keyword">const</span> _C_link_t __y = _C_get_node (__x-&gt;_C_value);</div>
<div class="line"><a id="l00802" name="l00802"></a><span class="lineno">  802</span>        <span class="keywordflow">if</span> (__res == __x)</div>
<div class="line"><a id="l00803" name="l00803"></a><span class="lineno">  803</span>            __res = __y;  <span class="comment">// save for return value</span></div>
<div class="line"><a id="l00804" name="l00804"></a><span class="lineno">  804</span> </div>
<div class="line"><a id="l00805" name="l00805"></a><span class="lineno">  805</span>        __y-&gt;_C_color     = __x-&gt;_C_color;</div>
<div class="line"><a id="l00806" name="l00806"></a><span class="lineno">  806</span>        __y-&gt;_C_parent    = __p;</div>
<div class="line"><a id="l00807" name="l00807"></a><span class="lineno">  807</span>        __p-&gt;_C_child [0] = __y;</div>
<div class="line"><a id="l00808" name="l00808"></a><span class="lineno">  808</span>        __y-&gt;_C_child [1] = _C_copy (__x-&gt;_C_child [1], __y);</div>
<div class="line"><a id="l00809" name="l00809"></a><span class="lineno">  809</span>        __p               = __y;</div>
<div class="line"><a id="l00810" name="l00810"></a><span class="lineno">  810</span>        __x               = __x-&gt;_C_child [0];</div>
<div class="line"><a id="l00811" name="l00811"></a><span class="lineno">  811</span>    }</div>
<div class="line"><a id="l00812" name="l00812"></a><span class="lineno">  812</span>    __p-&gt;_C_child [0] = 0;</div>
<div class="line"><a id="l00813" name="l00813"></a><span class="lineno">  813</span> </div>
<div class="line"><a id="l00814" name="l00814"></a><span class="lineno">  814</span>    <span class="keywordflow">return</span> __res;</div>
<div class="line"><a id="l00815" name="l00815"></a><span class="lineno">  815</span>}</div>
<div class="line"><a id="l00816" name="l00816"></a><span class="lineno">  816</span> </div>
<div class="line"><a id="l00817" name="l00817"></a><span class="lineno">  817</span> </div>
<div class="line"><a id="l00818" name="l00818"></a><span class="lineno">  818</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00819" name="l00819"></a><span class="lineno">  819</span><span class="keywordtype">void</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00820" name="l00820"></a><span class="lineno">  820</span>_C_erase (_C_link_t __x)</div>
<div class="line"><a id="l00821" name="l00821"></a><span class="lineno">  821</span>{</div>
<div class="line"><a id="l00822" name="l00822"></a><span class="lineno">  822</span>    <span class="comment">// recursively erase without rebalancing</span></div>
<div class="line"><a id="l00823" name="l00823"></a><span class="lineno">  823</span> </div>
<div class="line"><a id="l00824" name="l00824"></a><span class="lineno">  824</span>    <span class="keywordflow">while</span> (_C_link_t () != __x) {</div>
<div class="line"><a id="l00825" name="l00825"></a><span class="lineno">  825</span>        _C_erase (__x-&gt;_C_child [1]);</div>
<div class="line"><a id="l00826" name="l00826"></a><span class="lineno">  826</span>        _C_link_t __y = __x-&gt;_C_child [0];</div>
<div class="line"><a id="l00827" name="l00827"></a><span class="lineno">  827</span>        _C_put_node (__x);</div>
<div class="line"><a id="l00828" name="l00828"></a><span class="lineno">  828</span>        __x = __y;</div>
<div class="line"><a id="l00829" name="l00829"></a><span class="lineno">  829</span>    }</div>
<div class="line"><a id="l00830" name="l00830"></a><span class="lineno">  830</span>}</div>
<div class="line"><a id="l00831" name="l00831"></a><span class="lineno">  831</span> </div>
<div class="line"><a id="l00832" name="l00832"></a><span class="lineno">  832</span> </div>
<div class="line"><a id="l00833" name="l00833"></a><span class="lineno">  833</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00834" name="l00834"></a><span class="lineno">  834</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00835" name="l00835"></a><span class="lineno">  835</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00836" name="l00836"></a><span class="lineno">  836</span>erase (iterator __first, iterator __last)</div>
<div class="line"><a id="l00837" name="l00837"></a><span class="lineno">  837</span>{</div>
<div class="line"><a id="l00838" name="l00838"></a><span class="lineno">  838</span>    _RWSTD_ASSERT_RANGE (begin (), __first);</div>
<div class="line"><a id="l00839" name="l00839"></a><span class="lineno">  839</span>    _RWSTD_ASSERT_RANGE (__first, __last);</div>
<div class="line"><a id="l00840" name="l00840"></a><span class="lineno">  840</span> </div>
<div class="line"><a id="l00841" name="l00841"></a><span class="lineno">  841</span>    iterator __tmp;</div>
<div class="line"><a id="l00842" name="l00842"></a><span class="lineno">  842</span> </div>
<div class="line"><a id="l00843" name="l00843"></a><span class="lineno">  843</span>    <span class="keywordflow">if</span> (__first == begin () &amp;&amp; __last == end () &amp;&amp; _C_size) {</div>
<div class="line"><a id="l00844" name="l00844"></a><span class="lineno">  844</span>        <span class="comment">// erase the root node</span></div>
<div class="line"><a id="l00845" name="l00845"></a><span class="lineno">  845</span>        _C_erase (_C_end-&gt;_C_parent);</div>
<div class="line"><a id="l00846" name="l00846"></a><span class="lineno">  846</span> </div>
<div class="line"><a id="l00847" name="l00847"></a><span class="lineno">  847</span>        <span class="comment">// set the parent pointer of an empty tree to null</span></div>
<div class="line"><a id="l00848" name="l00848"></a><span class="lineno">  848</span>        _C_end-&gt;_C_parent = 0;</div>
<div class="line"><a id="l00849" name="l00849"></a><span class="lineno">  849</span> </div>
<div class="line"><a id="l00850" name="l00850"></a><span class="lineno">  850</span>        <span class="comment">// set the child pointers of an empty tree to end()</span></div>
<div class="line"><a id="l00851" name="l00851"></a><span class="lineno">  851</span>        _C_end-&gt;_C_child [0] =</div>
<div class="line"><a id="l00852" name="l00852"></a><span class="lineno">  852</span>        _C_end-&gt;_C_child [1] = _C_end;</div>
<div class="line"><a id="l00853" name="l00853"></a><span class="lineno">  853</span> </div>
<div class="line"><a id="l00854" name="l00854"></a><span class="lineno">  854</span>        <span class="comment">// set the size of the tree to 0</span></div>
<div class="line"><a id="l00855" name="l00855"></a><span class="lineno">  855</span>        _C_size = 0;</div>
<div class="line"><a id="l00856" name="l00856"></a><span class="lineno">  856</span> </div>
<div class="line"><a id="l00857" name="l00857"></a><span class="lineno">  857</span>        <span class="comment">// return end()</span></div>
<div class="line"><a id="l00858" name="l00858"></a><span class="lineno">  858</span>        __tmp = end ();</div>
<div class="line"><a id="l00859" name="l00859"></a><span class="lineno">  859</span>    } <span class="keywordflow">else</span></div>
<div class="line"><a id="l00860" name="l00860"></a><span class="lineno">  860</span>        <span class="keywordflow">for</span> (__tmp = end (); !(__first == __last); __tmp = erase (__first++));</div>
<div class="line"><a id="l00861" name="l00861"></a><span class="lineno">  861</span> </div>
<div class="line"><a id="l00862" name="l00862"></a><span class="lineno">  862</span>    <span class="keywordflow">return</span> __tmp;</div>
<div class="line"><a id="l00863" name="l00863"></a><span class="lineno">  863</span>}</div>
<div class="line"><a id="l00864" name="l00864"></a><span class="lineno">  864</span> </div>
<div class="line"><a id="l00865" name="l00865"></a><span class="lineno">  865</span> </div>
<div class="line"><a id="l00866" name="l00866"></a><span class="lineno">  866</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00867" name="l00867"></a><span class="lineno">  867</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00868" name="l00868"></a><span class="lineno">  868</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00869" name="l00869"></a><span class="lineno">  869</span>find (<span class="keyword">const</span> key_type &amp;__k)</div>
<div class="line"><a id="l00870" name="l00870"></a><span class="lineno">  870</span>{</div>
<div class="line"><a id="l00871" name="l00871"></a><span class="lineno">  871</span>    <span class="keyword">const</span> iterator __j = lower_bound (__k);</div>
<div class="line"><a id="l00872" name="l00872"></a><span class="lineno">  872</span> </div>
<div class="line"><a id="l00873" name="l00873"></a><span class="lineno">  873</span>    <span class="keywordflow">return</span> __j == end () || _C_cmp (__k, _ITER_NODE (__j)-&gt;_C_key ()) ?</div>
<div class="line"><a id="l00874" name="l00874"></a><span class="lineno">  874</span>        end () : __j;</div>
<div class="line"><a id="l00875" name="l00875"></a><span class="lineno">  875</span>}</div>
<div class="line"><a id="l00876" name="l00876"></a><span class="lineno">  876</span> </div>
<div class="line"><a id="l00877" name="l00877"></a><span class="lineno">  877</span> </div>
<div class="line"><a id="l00878" name="l00878"></a><span class="lineno">  878</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00879" name="l00879"></a><span class="lineno">  879</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00880" name="l00880"></a><span class="lineno">  880</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00881" name="l00881"></a><span class="lineno">  881</span>lower_bound (<span class="keyword">const</span> key_type &amp;__k)</div>
<div class="line"><a id="l00882" name="l00882"></a><span class="lineno">  882</span>{</div>
<div class="line"><a id="l00883" name="l00883"></a><span class="lineno">  883</span>    _C_link_t __y = _C_end;</div>
<div class="line"><a id="l00884" name="l00884"></a><span class="lineno">  884</span> </div>
<div class="line"><a id="l00885" name="l00885"></a><span class="lineno">  885</span>    <span class="keywordflow">for</span> (_C_link_t __x = __y-&gt;_C_parent; _C_link_t () != __x; ) {</div>
<div class="line"><a id="l00886" name="l00886"></a><span class="lineno">  886</span>        <span class="keywordflow">if</span> (_C_cmp (__x-&gt;_C_key (), __k)) {</div>
<div class="line"><a id="l00887" name="l00887"></a><span class="lineno">  887</span>            __x = __x-&gt;_C_child [1];</div>
<div class="line"><a id="l00888" name="l00888"></a><span class="lineno">  888</span>        }</div>
<div class="line"><a id="l00889" name="l00889"></a><span class="lineno">  889</span>        <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00890" name="l00890"></a><span class="lineno">  890</span>            __y = __x;</div>
<div class="line"><a id="l00891" name="l00891"></a><span class="lineno">  891</span>            __x = __x-&gt;_C_child [0];</div>
<div class="line"><a id="l00892" name="l00892"></a><span class="lineno">  892</span>        }</div>
<div class="line"><a id="l00893" name="l00893"></a><span class="lineno">  893</span>    }</div>
<div class="line"><a id="l00894" name="l00894"></a><span class="lineno">  894</span> </div>
<div class="line"><a id="l00895" name="l00895"></a><span class="lineno">  895</span>    <span class="keywordflow">return</span> _C_make_iter (__y);</div>
<div class="line"><a id="l00896" name="l00896"></a><span class="lineno">  896</span>}</div>
<div class="line"><a id="l00897" name="l00897"></a><span class="lineno">  897</span> </div>
<div class="line"><a id="l00898" name="l00898"></a><span class="lineno">  898</span> </div>
<div class="line"><a id="l00899" name="l00899"></a><span class="lineno">  899</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00900" name="l00900"></a><span class="lineno">  900</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::iterator </div>
<div class="line"><a id="l00901" name="l00901"></a><span class="lineno">  901</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00902" name="l00902"></a><span class="lineno">  902</span>upper_bound (<span class="keyword">const</span> key_type &amp;__k)</div>
<div class="line"><a id="l00903" name="l00903"></a><span class="lineno">  903</span>{</div>
<div class="line"><a id="l00904" name="l00904"></a><span class="lineno">  904</span>    _C_link_t __y = _C_end;</div>
<div class="line"><a id="l00905" name="l00905"></a><span class="lineno">  905</span> </div>
<div class="line"><a id="l00906" name="l00906"></a><span class="lineno">  906</span>    <span class="keywordflow">for</span> (_C_link_t __x = __y-&gt;_C_parent; _C_link_t () != __x; ) {</div>
<div class="line"><a id="l00907" name="l00907"></a><span class="lineno">  907</span>        <span class="keywordflow">if</span> (_C_cmp (__k, __x-&gt;_C_key ())) {</div>
<div class="line"><a id="l00908" name="l00908"></a><span class="lineno">  908</span>            __y = __x;</div>
<div class="line"><a id="l00909" name="l00909"></a><span class="lineno">  909</span>            __x = __x-&gt;_C_child [0];</div>
<div class="line"><a id="l00910" name="l00910"></a><span class="lineno">  910</span>        }</div>
<div class="line"><a id="l00911" name="l00911"></a><span class="lineno">  911</span>        <span class="keywordflow">else</span></div>
<div class="line"><a id="l00912" name="l00912"></a><span class="lineno">  912</span>            __x = __x-&gt;_C_child [1];</div>
<div class="line"><a id="l00913" name="l00913"></a><span class="lineno">  913</span>    }</div>
<div class="line"><a id="l00914" name="l00914"></a><span class="lineno">  914</span> </div>
<div class="line"><a id="l00915" name="l00915"></a><span class="lineno">  915</span>    <span class="keywordflow">return</span> _C_make_iter (__y);</div>
<div class="line"><a id="l00916" name="l00916"></a><span class="lineno">  916</span>}</div>
<div class="line"><a id="l00917" name="l00917"></a><span class="lineno">  917</span> </div>
<div class="line"><a id="l00918" name="l00918"></a><span class="lineno">  918</span> </div>
<div class="line"><a id="l00919" name="l00919"></a><span class="lineno">  919</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00920" name="l00920"></a><span class="lineno">  920</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::size_type</div>
<div class="line"><a id="l00921" name="l00921"></a><span class="lineno">  921</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00922" name="l00922"></a><span class="lineno">  922</span>_C_depth (const_iterator __it, size_type *__rank <span class="comment">/* = 0 */</span>)<span class="keyword"> const</span></div>
<div class="line"><a id="l00923" name="l00923"></a><span class="lineno">  923</span><span class="keyword"></span>{</div>
<div class="line"><a id="l00924" name="l00924"></a><span class="lineno">  924</span>    <span class="comment">// for notational convenience</span></div>
<div class="line"><a id="l00925" name="l00925"></a><span class="lineno">  925</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Black = _C_node_t::_C_black;</div>
<div class="line"><a id="l00926" name="l00926"></a><span class="lineno">  926</span>    <span class="keyword">const</span> _C_link_t                       _Null  = _C_link_t ();</div>
<div class="line"><a id="l00927" name="l00927"></a><span class="lineno">  927</span> </div>
<div class="line"><a id="l00928" name="l00928"></a><span class="lineno">  928</span>    <span class="keyword">const</span> _C_link_t __node = _ITER_NODE (__it);</div>
<div class="line"><a id="l00929" name="l00929"></a><span class="lineno">  929</span> </div>
<div class="line"><a id="l00930" name="l00930"></a><span class="lineno">  930</span>    <span class="keywordflow">if</span> (_Null == __node)</div>
<div class="line"><a id="l00931" name="l00931"></a><span class="lineno">  931</span>        <span class="keywordflow">return</span> 0;</div>
<div class="line"><a id="l00932" name="l00932"></a><span class="lineno">  932</span> </div>
<div class="line"><a id="l00933" name="l00933"></a><span class="lineno">  933</span><span class="preprocessor">#ifdef _RWSTDDEBUG</span></div>
<div class="line"><a id="l00934" name="l00934"></a><span class="lineno">  934</span> </div>
<div class="line"><a id="l00935" name="l00935"></a><span class="lineno">  935</span>    <span class="keyword">const</span> <span class="keyword">typename</span> _C_node_t::_C_color_t _Red = _C_node_t::_C_red;</div>
<div class="line"><a id="l00936" name="l00936"></a><span class="lineno">  936</span> </div>
<div class="line"><a id="l00937" name="l00937"></a><span class="lineno">  937</span>    <span class="keywordflow">if</span> (_Red == __node-&gt;_C_color) {</div>
<div class="line"><a id="l00938" name="l00938"></a><span class="lineno">  938</span> </div>
<div class="line"><a id="l00939" name="l00939"></a><span class="lineno">  939</span>        <span class="comment">// both children of every red node must be black</span></div>
<div class="line"><a id="l00940" name="l00940"></a><span class="lineno">  940</span> </div>
<div class="line"><a id="l00941" name="l00941"></a><span class="lineno">  941</span>        <span class="keyword">const</span> <span class="keywordtype">bool</span> __left_child_black =</div>
<div class="line"><a id="l00942" name="l00942"></a><span class="lineno">  942</span>               _Null == __node-&gt;_C_child [0]</div>
<div class="line"><a id="l00943" name="l00943"></a><span class="lineno">  943</span>            || _Black == __node-&gt;_C_child [0]-&gt;_C_color;</div>
<div class="line"><a id="l00944" name="l00944"></a><span class="lineno">  944</span> </div>
<div class="line"><a id="l00945" name="l00945"></a><span class="lineno">  945</span>        <span class="keyword">const</span> <span class="keywordtype">bool</span> __right_child_black =</div>
<div class="line"><a id="l00946" name="l00946"></a><span class="lineno">  946</span>               _Null == __node-&gt;_C_child [1]</div>
<div class="line"><a id="l00947" name="l00947"></a><span class="lineno">  947</span>            || _Black == __node-&gt;_C_child [1]-&gt;_C_color;</div>
<div class="line"><a id="l00948" name="l00948"></a><span class="lineno">  948</span> </div>
<div class="line"><a id="l00949" name="l00949"></a><span class="lineno">  949</span>        _RWSTD_ASSERT (__left_child_black);</div>
<div class="line"><a id="l00950" name="l00950"></a><span class="lineno">  950</span>        _RWSTD_ASSERT (__right_child_black);</div>
<div class="line"><a id="l00951" name="l00951"></a><span class="lineno">  951</span>    }</div>
<div class="line"><a id="l00952" name="l00952"></a><span class="lineno">  952</span> </div>
<div class="line"><a id="l00953" name="l00953"></a><span class="lineno">  953</span><span class="preprocessor">#endif   </span><span class="comment">// _RWDSDEBUG</span></div>
<div class="line"><a id="l00954" name="l00954"></a><span class="lineno">  954</span> </div>
<div class="line"><a id="l00955" name="l00955"></a><span class="lineno">  955</span>    <span class="comment">// every simple path from every node must contain the same number</span></div>
<div class="line"><a id="l00956" name="l00956"></a><span class="lineno">  956</span>    <span class="comment">// of black nodes; that means that every black node must either</span></div>
<div class="line"><a id="l00957" name="l00957"></a><span class="lineno">  957</span>    <span class="comment">// have zero or two children (of either color), or a single red</span></div>
<div class="line"><a id="l00958" name="l00958"></a><span class="lineno">  958</span>    <span class="comment">// child</span></div>
<div class="line"><a id="l00959" name="l00959"></a><span class="lineno">  959</span> </div>
<div class="line"><a id="l00960" name="l00960"></a><span class="lineno">  960</span>    size_type __ranks [2];</div>
<div class="line"><a id="l00961" name="l00961"></a><span class="lineno">  961</span> </div>
<div class="line"><a id="l00962" name="l00962"></a><span class="lineno">  962</span>    <span class="keywordflow">if</span> (   _Null == __node-&gt;_C_child [0]</div>
<div class="line"><a id="l00963" name="l00963"></a><span class="lineno">  963</span>        || _Black == __node-&gt;_C_child [0]-&gt;_C_color)</div>
<div class="line"><a id="l00964" name="l00964"></a><span class="lineno">  964</span>        __ranks [0] = 1;</div>
<div class="line"><a id="l00965" name="l00965"></a><span class="lineno">  965</span>    <span class="keywordflow">else</span></div>
<div class="line"><a id="l00966" name="l00966"></a><span class="lineno">  966</span>        __ranks [0] = 0;</div>
<div class="line"><a id="l00967" name="l00967"></a><span class="lineno">  967</span> </div>
<div class="line"><a id="l00968" name="l00968"></a><span class="lineno">  968</span>    <span class="keywordflow">if</span> (   _Null == __node-&gt;_C_child [1]</div>
<div class="line"><a id="l00969" name="l00969"></a><span class="lineno">  969</span>        || _Black == __node-&gt;_C_child [1]-&gt;_C_color)</div>
<div class="line"><a id="l00970" name="l00970"></a><span class="lineno">  970</span>        __ranks [1] = 1;</div>
<div class="line"><a id="l00971" name="l00971"></a><span class="lineno">  971</span>    <span class="keywordflow">else</span></div>
<div class="line"><a id="l00972" name="l00972"></a><span class="lineno">  972</span>        __ranks [1] = 0;</div>
<div class="line"><a id="l00973" name="l00973"></a><span class="lineno">  973</span> </div>
<div class="line"><a id="l00974" name="l00974"></a><span class="lineno">  974</span>    <span class="keyword">const</span> size_type __depth [] = {</div>
<div class="line"><a id="l00975" name="l00975"></a><span class="lineno">  975</span>        _Null == __node-&gt;_C_child [0] ?</div>
<div class="line"><a id="l00976" name="l00976"></a><span class="lineno">  976</span>        0 : 1 + _C_depth (_C_make_iter (__node-&gt;_C_child [0]), __ranks + 0),</div>
<div class="line"><a id="l00977" name="l00977"></a><span class="lineno">  977</span>        _Null == __node-&gt;_C_child [1] ?</div>
<div class="line"><a id="l00978" name="l00978"></a><span class="lineno">  978</span>        0 : 1 + _C_depth (_C_make_iter (__node-&gt;_C_child [1]), __ranks + 1)</div>
<div class="line"><a id="l00979" name="l00979"></a><span class="lineno">  979</span>    };</div>
<div class="line"><a id="l00980" name="l00980"></a><span class="lineno">  980</span> </div>
<div class="line"><a id="l00981" name="l00981"></a><span class="lineno">  981</span>    _RWSTD_ASSERT (__ranks [0] == __ranks [1]);</div>
<div class="line"><a id="l00982" name="l00982"></a><span class="lineno">  982</span> </div>
<div class="line"><a id="l00983" name="l00983"></a><span class="lineno">  983</span>    <span class="keywordflow">if</span> (__rank)</div>
<div class="line"><a id="l00984" name="l00984"></a><span class="lineno">  984</span>        *__rank += __ranks [0];</div>
<div class="line"><a id="l00985" name="l00985"></a><span class="lineno">  985</span> </div>
<div class="line"><a id="l00986" name="l00986"></a><span class="lineno">  986</span>    <span class="keywordflow">return</span> __depth [__depth [0] &lt; __depth [1]];</div>
<div class="line"><a id="l00987" name="l00987"></a><span class="lineno">  987</span>}</div>
<div class="line"><a id="l00988" name="l00988"></a><span class="lineno">  988</span> </div>
<div class="line"><a id="l00989" name="l00989"></a><span class="lineno">  989</span> </div>
<div class="line"><a id="l00990" name="l00990"></a><span class="lineno">  990</span><span class="keyword">template</span> &lt;<span class="keyword">class</span> _Key, <span class="keyword">class</span> _Val, <span class="keyword">class</span> _KeyOf, <span class="keyword">class</span> _Comp, <span class="keyword">class</span> _Alloc&gt;</div>
<div class="line"><a id="l00991" name="l00991"></a><span class="lineno">  991</span><span class="keyword">typename</span> bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::size_type</div>
<div class="line"><a id="l00992" name="l00992"></a><span class="lineno">  992</span>bc___rb_tree&lt;_Key, _Val, _KeyOf, _Comp, _Alloc&gt;::</div>
<div class="line"><a id="l00993" name="l00993"></a><span class="lineno">  993</span>_C_level (const_iterator __it)<span class="keyword"> const</span></div>
<div class="line"><a id="l00994" name="l00994"></a><span class="lineno">  994</span><span class="keyword"></span>{</div>
<div class="line"><a id="l00995" name="l00995"></a><span class="lineno">  995</span>    <span class="keywordflow">if</span> (_ITER_NODE (__it) == _C_end-&gt;_C_parent)</div>
<div class="line"><a id="l00996" name="l00996"></a><span class="lineno">  996</span>        <span class="keywordflow">return</span> 0;</div>
<div class="line"><a id="l00997" name="l00997"></a><span class="lineno">  997</span> </div>
<div class="line"><a id="l00998" name="l00998"></a><span class="lineno">  998</span>    <span class="keywordflow">return</span> 1 + _C_level (_C_make_iter (_ITER_NODE (__it)-&gt;_C_parent));</div>
<div class="line"><a id="l00999" name="l00999"></a><span class="lineno">  999</span>}</div>
<div class="line"><a id="l01000" name="l01000"></a><span class="lineno"> 1000</span> </div>
<div class="line"><a id="l01001" name="l01001"></a><span class="lineno"> 1001</span> </div>
<div class="line"><a id="l01002" name="l01002"></a><span class="lineno"> 1002</span>}   <span class="comment">// namespace BC__RW</span></div>
<div class="line"><a id="l01003" name="l01003"></a><span class="lineno"> 1003</span> </div>
<div class="line"><a id="l01005" name="l01005"></a><span class="lineno"> 1005</span> </div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
制作者&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="../../doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.3
</small></address>
</body>
</html>
